ИИ помог опровергнуть гипотезу Якоби: математики получили громкий тест для Claude Fable 5
ИИ помог опровергнуть гипотезу Якоби: математики получили громкий тест для Claude Fable 5
Математик Левент Алпёге заявил, что нашел контрпример к гипотезе Якоби — одной из известных задач алгебраической геометрии, сформулированной Отто-Хайнрихом Келлером в 1939 году. В посте на X он написал, что гипотеза «ложна», поблагодарил коллегу Ахила за вопрос и «друга Fable» за работу во время финала чемпионата мира.
По данным New Scientist, речь идет о коротком 216-символьном контрпримере. Издание называет результат самым сложным математическим прорывом, найденным при участии ИИ, но здесь важна осторожная формулировка: математика живет не публикацией в соцсети, а проверкой.
Почему это больше, чем вирусный пост
Гипотеза Якоби утверждала, что определенный класс полиномиальных отображений должен иметь обратное отображение того же типа. Задача десятилетиями считалась трудной и попала в список из 18 проблем для математиков XXI века, который Стивен Смейл составил в 1998 году.
Если контрпример Алпёге подтвердят, это будет не просто очередная победа модели в бенчмарке. Для исследователей важнее другое: ИИ оказался полезен в поиске конкретного математического объекта, который человек может проверить, обсудить и встроить в строгую теорию.
Что теперь будут проверять
Главный тест для Fable 5 начинается после хайпа. Сообщество должно убедиться, что приведенное отображение действительно имеет заявленные свойства и не ломается на технических деталях. В математике один неверный знак может превратить сенсацию в черновик.
Но даже с этой оговоркой история важна. Она показывает, как frontier-модели входят в область, где ценится не красивый ответ, а способность помочь найти проверяемый ход. Для ученых это шанс ускорить поиск идей; для индустрии ИИ — напоминание, что настоящая репутация строится не на анонсе модели, а на результатах, которые выдерживают внешнюю проверку.
- newscientist.comAI’s solution to 87-year-old riddle takes mathematicians by surprise | New Scientist
- x.comlevent (@__alpoge__) on X
- techmeme.comLevent Alpöge, a mathematician who works at Anthropic, says he was able to disprove the 87-year-old Jacobian conjecture with the help of Fable 5
- commons.wikimedia.orgFile:Blackboard bold on a blackboard.jpg - Wikimedia Commons













