Güney Koreli matematikçi Dr. Baek Jin Eon, geometrinin yarım asırdan uzun süredir çözülemeyen “moving sofa problemi”ni bilgisayar kullanmadan çözüme kavuşturdu. 1966’dan bu yana tartışılan problemde, L şeklindeki dar bir koridordan geçirilebilecek en büyük iki boyutlu şeklin sınırlarını kesin olarak ortaya koydu.