Искусственный интеллект помог опровергнуть почти 90-летнюю гипотезу Якобиана. Исследова...
Искусственный интеллект помог опровергнуть почти 90-летнюю гипотезу Якобиана. Исследователь Anthropic Левент Альпеге вместе с моделью Claude Fable 5 нашёл контрпример к одной из самых известных нерешённых задач алгебраической геометрии. Сформулированная в 1939 году гипотеза касается полиномиальных преобразований пространства самих в себя. Если совсем просто: всегда ли такое преобразование обратимо, если локально оно не теряет информацию? Найденный пример в трёхмерном пространстве показывает, что нет — конструкция не всегда обратима. Альпеге не раскрыл промпты, но сам контрпример опубликован. Чтобы опровержение стало официальным, нужна формальная статья и независимая проверка — пока результат доступен как набор вычислений. Математик Абхишек Саха из Лондонского университета королевы Марии первым детально описал находку, назвав её крупнейшим случаем участия ИИ в опровержении гипотезы. Теренс Тао посвятил ей разбор в блоге и перепроверил часть расчётов, а Кевин Баззард в интервью Fortune отозвался как о «впечатляющей». Часть шагов уже верифицировали с помощью языка Lean. Если опровержение признают, учёным предстоит разобраться с двумерным вариантом гипотезы Якобиана.