Компания OpenAI заявила о значительном прогрессе в решении второй «задачи тысячелетия» после того, как 8 сентября объявила о работе над уравнениями Навье-Стокса. Название новой задачи и сроки публикации результатов пока не раскрываются.
Математический институт Клэя с 2000 года предлагает награду в $1 млн за решение каждой из семи «задач тысячелетия». В сети обсуждается версия, что OpenAI работает над гипотезой Ходжа — математической головоломкой, сформулированной в 1950 году.
Предыдущее доказательство уравнений Навье-Стокса потребовало работы около 10 000 ИИ-агентов в течение 88 часов. Результат был проверен с помощью системы Lean. Сейчас работа ожидает независимой оценки института Клэя, которая может занять несколько лет.
Вокруг публикации по уравнениям Навье-Стокса возник конфликт. Математик Тристан Бакмастер заявил, что исследователь OpenAI Себастьян Бубек пытался принудить его исключить соавтора Левента Альпёге из публикации, чтобы OpenAI могла выпустить материал первой.
В OpenAI подчеркнули, что не претендуют на денежные призы за решение задач. Компания использует эти математические проблемы как инструмент для оценки скорости развития своих моделей и их способностей к логическим рассуждениям.
Тем временем конкуренты также демонстрируют успехи: модель Claude от Anthropic за 11 дней формализовала доказательство Великой теоремы Ферма. Математик Теренс Тао предупредил, что гонка ИИ-лабораторий ускоряет исчерпание запаса сложных математических задач.
