Молодой математик 31 года без использования ИИ и компьютеров решил задачу, которая 60 лет считалась нерешаемой в профессиональном сообществе.
Речь идёт о корейском математике Бэк Чин-ын (Baek Jin-eon), 31 год, который без ИИ и компьютерных расчётов дал решение «задачи двигающегося дивана», мучившей математиков почти 60 лет. Его работа уже признана одним из главных математических прорывов года журналом Scientific American.
Что за задача «двигающегося дивана»
Задача сформулирована Лео Мозером в 1966 году: какова максимальная площадь жёсткого дивана, который можно протащить через коридор Г‑образной формы шириной 1 метр, не отрывая его от пола. Прелесть в том, что понять её может школьник, а строго доказать — десятилетиями не могли топовые математики.
Что сделали до него
Раньше предлагали разные «формы‑рекорды»:
- В 1968 году Хаммерсли предложил фигуру площадью около 2,2074 м².
- В 1992 году Джозеф Гёрвер дал ещё более хитрую кривую форму с площадью примерно 2,2195 м², считавшуюся лучшим кандидатом, но без доказательства, что больше уже нельзя.
Все понимали: возможно, это максимум, но строгого доказательства «больше не бывает» не существовало.
В чём прорыв Бэка
Бэк поставил цель: не просто придумать новый диван, а доказать, что фигура Гёрвера действительно даёт верхний предел — то есть никакой диван большей площади физически не протащить через такой коридор.
Главное:
- Он работал в основном аналитически, опираясь на логические рассуждения и преобразуя задачу в оптимизационную, а не на массивный компьютерный перебор.
- Итог — 119‑страничная статья (препринт 2024 года), сейчас на рецензии в Annals of Mathematics, одном из самых престижных журналов.
Почему без ИИ и компьютеров — так важно
На фоне моды на AI‑решения, где многие сложные задачи проверяют или подбирают численно, этот результат особенно ценят именно за «чистую математику»: доказательство, опирающееся на идеи, а не на brute force. Сам Бэк описывает процесс как многолетний цикл «строить идею, разрушать её и снова поднимать из пепла» — по сути, классический исследовательский аскетизм против тренда «пусть ИИ всё посчитает»