12 сентября 2026 г.
ИИ взялся за задачу Навье–Стокса без готового ответа: OpenAI собрала 10 000 агентов
OpenAI заявила 8 сентября 2026 года, что её внутренняя модель предложила решение задачи Навье–Стокса, одной из семи Millennium Prize Problems, нерешённой около 90 лет. Для поиска компания задействовала около 10 000 агентов, работавших одновременно: результат появился примерно за 88 часов, а Lean-формализация и проверка заняли ещё 17 часов. The Guardian оценил запуск в $15 млн. Премия за задачу составляет $1 млн.
В июле 2024 года Google DeepMind проверила математическое рассуждение на IMO: AlphaProof и AlphaGeometry 2 решили 4 из 6 задач и набрали 28 из 42 баллов, уровень серебряной медали. До золотого порога не хватило 1 балла: он составлял 29 баллов. **Теперь.** OpenAI направила агентов на открытую задачу, для которой нет готового ответа в учебнике. По Навье–Стоксу агенты отправили 2,7 млн сообщений и выдали около 130 млрд output-токенов. Во всех попытках было 4,9 млн сообщений и около 300 млрд токенов. OpenAI опубликовала 166-страничный writeup и Lean-формализацию доказательства. Репозиторий можно собрать локально с Lean 4.34.0-rc2, Mathlib, Lake и elan командами `lake exe cache get` и `lake build`.
OpenAI заявила, что не будет претендовать на премию $1 млн, а опубликованные writeup и Lean-формализация стали следующей точкой проверки результата.
Первоисточник
