Математичар коначно решава проблем са софом старом 60 година који је популаризирала сцена ‘пивот’ Пријатеља
Корејски математичар решио је једну од најтврдоглавијих загонетки у геометрији, окончавши проблем који је изазивао истраживаче скоро 60 година и зарадио глобално признање за доказ постигнут без помоћи рачунара.
Др Баек Јин Еон, 31, истраживач на Корејском институту за напредне студије, показао је да ниједан облик већи од претходно предложеног дизајна не може да се креће кроз правоугаони ходник фиксне ширине, решавајући такозвани „проблем покретне софе“ који је први пут постављен 1966.
Проблем поставља варљиво једноставно питање: шта је то дводимензионални облик са највећом могућом површином који се може пренети кроз ходник у облику слова Л ширине један? Иако је лак за визуализацију, деценијама је одолевао доказима.
Године 1992. математичар Џозеф Гервер предложио је сложен закривљени облик, познат као Герверова софа, као вероватно решење. Међутим, нико није успео да докаже да већи облик не може постојати.
Након седам година рада, др Баек је показао да је Герверов дизајн заиста оптималан. Свој доказ од 119 страница објавио је на серверу за препринт арКсив крајем 2024. године, закључивши да „никаква софа шира од Герверове софе не може постојати“.
За разлику од многих ранијих покушаја, рад др Баека се у потпуности ослањао на логичко резоновање, а не на велике компјутерске симулације.
Описујући дуг процес истраживања, Баек је свој рад упоредио са сталном изградњом и напуштањем идеја.
„Настављате да се држите наде, а затим је разбијете и идете напред сакупљајући идеје из пепела“, рекао је он у интервјуу.
„По природи сам ближи сањару, а за мене је математичко истраживање понављање снова и буђења.”
Истраживање је од тада названо по Сциентифиц Америцан као једно од његових „10 најбољих математичких открића 2025.“, избор уредника који наглашава открића у овој области.
Часопис је приметио да „иако су се многи истраживачи ослањали на компјутерске симулације великих размера да би решили максималну величину софе, изненађујуће је да коначно решење Баек Јин Еона уопште не зависи од рачунара“.
Доказ др Баека је тренутно под рецензијом Анали математикеједан од најпрестижнијих часописа у овој дисциплини.
Док је процес прегледа и даље у току, поверење у резултат је високо у математичкој заједници.
Проблем померања софе дуго је заузео место у популарној култури, као и у академским круговима, а најпознатије се помиње у америчкој ситкому Пријатељигде се ликови боре да маневришу софом уз степенице.
Сциентифиц Америцан нашалио се да „објашњавајући ‘Пивот!’ викнуо је Рос Гелер, захтевао је рад од 119 страница”.
Др Баек је почео да ради на овом проблему док је служио као специјалиста за истраживање током обавезне војне службе и наставио кроз докторске студије у САД и касније као постдокторски истраживач у Јужној Кореји.
Изабран је прошле године за јунски Е Хух Феллов програм, који подржава младе математичаре млађе од 39 година до једне деценије.
Сада наставља рад на оптимизацијским проблемима и изазовима у комбинаторној геометрији.
