Koreli matematikçi Baek Jin-eon, yaklaşık altmış yıldır çözülemeyen "hareket eden kanepe problemi" olarak bilinen geometri bilmecesini çözerek uluslararası alanda tanındı. Scientific American dergisi, Baek'in araştırmasını 2025 yılının en iyi 10 matematiksel buluşu arasında gösterdi. 31 yaşındaki Baek, Kore İleri Araştırma Enstitüsü'nde araştırmacı olarak görev yapıyor.
1966 yılında Avusturyalı-Kanadalı matematikçi Leo Moser tarafından ortaya atılan bu problem, 1 metre genişliğindeki L şeklindeki bir koridordan geçebilecek en büyük sert şeklin alanını sormaktadır. Problem, ileri matematik bilgisi gerektirmeden anlaşılabildiği için geniş kitlelerce tanınmış ve ABD ders kitaplarında yer almıştır. Onlarca yıl boyunca araştırmacılar, daha verimli şekiller önererek olası çözüm aralığını daraltmış, ancak üst sınırın nerede olduğunu kanıtlayamamışlardı. 1992'de Joseph Gerver, yaklaşık 2.2195 metrekarelik bir alana sahip karmaşık kavisli bir şekil önermiş ve bu, önde gelen aday haline gelmişti. Ancak Gerver'in tasarımının en büyük olabileceğine dair kesin bir kanıt bulunmuyordu.
Baek'in yedi yıl süren araştırması, Gerver'in şeklinin gerçekten de üst sınırı temsil ettiğini kanıtladı. 119 sayfalık makalesinde, önceki bilgisayar destekli tahminlere dayalı çalışmaların aksine, mantıksal akıl yürütmeyi kullanarak bu optimaliteyi ortaya koydu. Baek, araştırma sürecini defalarca fikir inşa edip yıkmaya benzeterek, "Umutlara tutunup sonra onları kırıp, küllerden yeni fikirler alarak ilerliyorsunuz" dedi. Makalesi şu anda alanın en seçici dergilerinden biri olan Annals of Mathematics'te inceleniyor.
Bu çözüm, uzun süredir açık olan bir matematik problemini kapatarak geometri ve optimizasyon alanında önemli bir ilerleme kaydetti.