Математик опроверг гипотезу Якоби с помощью ИИ-модели Гипотеза 1939 года…

Математик опроверг гипотезу Якоби с помощью ИИ-модели

Гипотеза 1939 года утверждала, что полиномиальное отображение с постоянным ненулевым якобианом обязательно обратимо. Левент Альпёге нашёл контрпример: необратимое отображение с постоянным якобианом, уместившееся в 216 символов — при том что минимальную степень такого примера математики оценивали в районе 200. В работе помогала модель Fable 5, которую разработчики изначально считали слишком мощной для публичного релиза.

Важная оговорка: результат ещё не прошёл рецензирование, а полная стенограмма промптов не опубликована — то есть отделить вклад модели от направляющей роли самого математика пока нельзя.

Случай не единичный: в этом году AlphaProof самостоятельно решил девять открытых проблем Эрдёша, а другая модель независимо и короче доказала гипотезу единичного расстояния.