300 млрд токенов: как OpenAI "решила" задачу тысячелетия перед выходом на биржу

8 сентября OpenAI объявила о решении одной из семи "задач тысячелетия" — уравнения Навье — Стокса, которые описывают движение жидкостей и газов. Задача, сформулированная Институтом Клея в 2000 году, сводится к вопросу о том, остается ли изначально гладкое трехмерное течение таким всегда или в нем способна возникнуть сингулярность — точка, в которой скорость становится неограниченной.

По утверждению компании, результат получила новая внутренняя модель ИИ, "значительно превосходящая" GPT-6 Astra и все еще находящаяся в процессе обучения: 165-страничное доказательство также записали в Lean — системе, которая автоматически проверяет каждый логический переход.

Однако у прорыва есть спорная предыстория. Профессор Нью-Йоркского университета Тристан Бакмастер и сотрудник Anthropic Левент Альпеге почти год пытались решить задачу самостоятельно, используя для работы с черновиками ИИ-сервисы Claude и Codex.

К 15 августа ученые решили несколько близких задач для более простых моделей движения жидкости (уравнения Буссинеска и Эйлера), а 22 августа проверили доказательства в Lean. Полного решения Навье — Стокса у них еще не было, но полученные ими результаты открывали к нему путь.

1 сентября до OpenAI дошел слух, будто "задачу тысячелетия" решила компания Anthropic, а 3 сентября Бакмастер сообщил компании о готовящейся публикации.

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

За весь эксперимент агенты отправили 4,9 млн сообщений и сгенерировали около 300 млрд токенов, чья стоимость составляет около $15 млн. Непосредственно на решение уравнений Навье — Стокса пришлись 2,7 млн сообщений и 130 млрд токенов.

OpenAI заявляет, что ее сотрудники и агенты не видели материалы ученых до публикации, а их доказательства якобы "существенно различаются". В то же время компания не исключает влияние неких "обезличенных пользовательских данных" на обучение модели.

Сам Бакмастер утверждает, что незадолго до публикации представители OpenAI предложили ему представить результат совместно — без работающего на компанию-конкурента Альпеге, а после отказа от сотрудничества якобы угрожали его карьере. Сама компания это отрицает.

Официально Институт Клея пока считает задачу нерешенной: сначала доказательство должно быть опубликовано в признанном научном издании, после чего должно пройти не менее 2 лет, а полученный результат должен получить общее признание математического сообщества.

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

В преддверии этого события обеим компаниям необходимо убедить инвесторов, что их новые модели ИИ находятся всего в шаге от универсального искусственного интеллекта (AGI) — системы, способной решать практически любые интеллектуальные задачи на уровне человека.

От ответа на вопрос о том, действительно ли ИИ-модель от OpenAI за пару дней получила результат, к которому ученые шли почти год, зависит возможность дополнительно привлечь десятки миллиардов долларов, что в корпоративном мире куда ценнее академической честности и престижной премии в $1 млн.