OpenAI заявила о решении одной из «задач тысячелетия» с помощью 10 тыс. ИИ-агентов
Компания OpenAI утверждает, что решила одну из семи знаменитых «задач тысячелетия» — проблему существования и гладкости решений уравнений Навье—Стокса. Над этим работали около 10 тыс. ИИ-агентов, а на поиск решения ушло 88 часов.
Что такое уравнение Навье—Стокса и можно ли считать его решенным
Речь идет об уравнениях, описывающих движение жидкостей и газов. Математики десятилетиями пытаются установить, всегда ли для трехмерного случая существуют гладкие решения этих уравнений и остаются ли они конечными. В частности, задача допускает возможность так называемого «взрыва» решения — ситуации, при которой некоторые характеристики потока становятся бесконечными за конечное время.
OpenAI использовала внутреннюю модель, возможности которой, по данным компании, превосходят возможности публично представленной GPT-6 Astra. Несколько групп ИИ-агентов одновременно работали над разными направлениями доказательства, в том числе пытались подтвердить или опровергнуть отдельные утверждения. После получения результата его формализацию и проверку с помощью GPT-6 Astra проводили еще 17 часов.
Компания также опубликовала описание доказательства и его формализацию на языке Lean — системе, которая позволяет проверять математические доказательства с помощью компьютера. По данным OpenAI, агенты отправили около 2,7 млн сообщений и сгенерировали 130 млрд выходных токенов.
При этом говорить о том, что задача тысячелетия уже официально считается решенной, пока нельзя. Clay Mathematics Institute, учредивший премию в $1 млн за каждую из семи задач, устанавливает специальную процедуру проверки. Решение должно быть опубликовано в соответствующем научном издании, после публикации должно пройти не менее двух лет, а результат должен получить общее признание математического сообщества.
Таким образом, сейчас речь идет о заявленном OpenAI результате, который предстоит изучить специалистам. Сам институт Clay на своей странице по-прежнему описывает проблему Навье—Стокса как нерешенную.
Почему вокруг решения возник спор
Почти одновременно с заявлением OpenAI математик Нью-Йоркского университета Тристан Бакмастер рассказал о собственной работе над той же проблемой вместе с исследователем Anthropic Левентом Альпёге. По словам Бакмастера, он опасается, что OpenAI могла получить доступ к идеям из их незавершенного исследования через свои продукты.
OpenAI отрицает, что использовала их работу. Компания заявила, что ее исследователи и ИИ-агенты не были знакомы с результатами Бакмастера и Альпёге до их публичного раскрытия. При этом OpenAI признала, что не может полностью исключить косвенное влияние пользовательских данных на совершенствование своих моделей.
Бакмастер отдельно подчеркнул, что не обвиняет OpenAI в неправомерном использовании данных и не знает, имели ли модели компании доступ к их материалам. Спор пока остается открытым и может стать одним из ключевых вопросов вокруг заявленного математического прорыва.
Если доказательство OpenAI выдержит независимую проверку, это станет первым случаем решения одной из оставшихся задач тысячелетия с существенным участием искусственного интеллекта. Из семи задач на сегодняшний день решенной официально считается только гипотеза Пуанкаре.