
Компания OpenAI заявила о решении одной из семи задач тысячелетия — проблемы существования и гладкости решений уравнений Навье — Стокса.
Разработанная мультиагентная система, включавшая около 10 000 одновременно работающих ИИ-агентов, создала аналитическое доказательство и полностью формализовала его в системе Lean. Согласно полученным выводам, трехмерное движение несжимаемой жидкости способно порождать сингулярность за конечное время под воздействием гладкой внешней силы.
На подготовку решения агентам потребовалось около 88 часов, а последующая проверка заняла еще 17 часов. Результат продемонстрировал значительный рост возможностей перспективных моделей OpenAI, которые заметно превосходят уровень GPT-6 Astra в математических тестах. При этом разработчики отмечают, что не претендуют на официальную премию Клея, а представляют достижение как свидетельство стремительного развития искусственного интеллекта и напоминание о необходимости ответственного контроля его возможностей.
Математик из Нью-Йоркского университета Тристан Бакмастер обвинил сотрудника OpenAI Себастьена Бубека в попытке установить жесткие условия для совместной публикации. В частности, речь якобы шла об исключении из списка авторов Левента Альпёге из Anthropic и публичном подтверждении корректности выводов ИИ. По утверждению Бакмастера, после его отказа он столкнулся с угрозами и сильным давлением.
Дополнительные вопросы у научного сообщества вызвало происхождение использованных данных. Несмотря на категоричные заявления OpenAI об отсутствии чужих сессий в Codex при обучении моделей, компания не может полностью исключить утечки или косвенное влияние обезличенной информации.
Впечатляет и финансовая сторона эксперимента. По оценкам отраслевых изданий, неделя работы 10 000 агентов могла обойтись примерно в 22,5 миллиона долларов по тарифам Astra. При таких расходах попытка побороться за премию Института Клэя выглядит экономически неоправданной.
