Новая модель OpenAI решила одну из семи задач тысячелетия, которую не могли доказать 90 лет

OpenAI заявила, что ее новая модель вместе с примерно 10 тысячами автономных ИИ-агентов смогла за 88 часов найти решение знаменитой проблемы существования и гладкости решений уравнений Навье — Стокса .

Она связана с уравнениями, описывающими движение жидкостей, и считается одной из самых сложных нерешенных задач современной математики. На протяжении примерно 90 лет ключевые аспекты этой проблемы оставались без строгого доказательства. Эта проблема входит в официальный список семи задач тысячелетия с наградой в 1 миллион долларов

К 5 сентября ИИ-агенты смогли получить решение, которое, по словам OpenAI, закрывает две из четырех частей доказательства, требуемых для решения проблемы. При этом результат еще никто независимо не проверил, а Институт Клэя, присуждающий за каждую такую задачу премию в $1 млн, его официально не признал.

Масштаб вычислений оказался огромным: агенты отправили друг другу почти 3 млн сообщений и сгенерировали около 130 млрд токенов только по задаче Навье — Стокса. По собственным тарифам OpenAI аналогичная работа на самых мощных моделях могла бы стоить около $10 млн. В компании подчеркивают, что не претендуют на приз, а хотят показать возможности нового ИИ.

Мы делимся решением задачи о присуждении премии тысячелетия по уравнениям Навье-Стокса, одной из самых сложных проблем на переднем крае математики. Доказательство было получено группой агентов с использованием модели следующего поколения OpenAI, значительно превосходящей по своим возможностям GPT-6 Astra. Проблема касается того, может ли описание плавного трехмерного движения жидкости, моделируемое уравнениями Навье-Стокса, быть несостоятельным. Она оставалась нерешенной примерно 90 лет.