17 сентября 2026 г.
Задача Navier–Stokes теперь по силам ИИ-агентам: OpenAI заявила о решении за 88 часов
8 сентября 2026 года OpenAI заявила, что около 10 000 одновременно работающих агентов нашли решение задачи Navier–Stokes за 88 часов. Ещё 17 часов GPT-6 Astra ушли на формализацию и проверку в Lean. Система отправила 2,7 млн сообщений и использовала около 130 млрд output tokens. На 9 сентября независимой внешней проверки не было.
1 августа OpenAI сообщила о 10 результатах по открытым задачам математики и теоретической информатики. По оценке компании, поиск решений стоил бы около $2 000 по тарифам Sol. Navier–Stokes входит в 7 задач Millennium Prize, учреждённых Clay Mathematics Institute 24 мая 2000 года. За каждую задачу обещан приз $1 млн.
Человеческий вклад. Diego Córdoba и Luis Martínez-Zoroa 10 сентября сообщили, что их метод стал основой последующего прогресса. Córdoba считает, что без этой идеи ИИ не решил бы задачу, а вклад системы видит в быстром чтении литературы и ускорении уже найденного метода.
Проверка. OpenAI опубликовала PDF на 166 страниц и исходники Lean-сертификатов для Navier–Stokes и Euler. Формализацию можно собрать в Lean 4.34.0-rc2 с elan, Mathlib и Lake, затем выполнить `lake exe cache get` и `lake build`. 11 сентября 25 лауреатов медали Филдса назвали гонку ИИ-компаний за математическими решениями вредной для понимания, обучения и передачи знаний.
Результат независимой проверки станет следующей вехой: она отделит заявление OpenAI от общепринятого математического решения.
Первоисточник
