9 сентября 2026 г.
OpenAI заявила решение задачи Навье — Стокса: 88 часов работы ИИ-агентов
Компания опубликовала доказательство и код для проверки, а поиском решения руководили исследователи через Codex.
По данным OpenAI от 8 сентября, 10 тысяч ИИ-агентов нашли доказательство за 88 часов. Формализация и проверка в Lean заняли ещё 17 часов.
Что именно доказали. OpenAI заявляет, что при гладкой внешней силе движение жидкости может образовать сингулярность при ограниченной энергии. Речь о ситуации, когда математическое описание течения теряет гладкость. Компания относит результат к вариантам C и D задачи Навье — Стокса. По [официальной постановке Clay](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf), достаточно доказать одну из четырёх альтернатив A–D.
Исследователи направляли поиск через Codex: объединяли промежуточные находки групп и составляли следующие промпты. На задачу агенты потратили 130 млрд выходных токенов и обменялись 2,7 млн сообщений. Решение получила внутренняя модель, которую OpenAI называет существенно сильнее GPT-6 Astra. [OpenAI описала ход эксперимента 8 сентября](https://openai.com/index/navier-stokes-solution/).
Математики Тристан Бакмастер и Левент Альпёге раньше получили результаты для родственных уравнений Boussinesq и Euler. По заявлению Бакмастера, они использовали Claude и Codex, преимущественно GPT-5.6 Sol: результат получили 15 августа, проверку Lean завершили 22 августа.
OpenAI отрицает доступ к конкретным пользовательским данным этих исследователей при решении задачи, но допускает влияние обезличенных данных их работы на обучение моделей.
Как проверить доказательство. OpenAI выложила формализацию в репозитории NavierStokesAndEuler. Lean проверяет математические рассуждения, записанные в виде кода. Проект использует Lean 4.34.0-rc2, Mathlib и Lake. После установки elan в каталоге проекта выполняются две команды:
```sh lake exe cache get lake build ```
Для отдельной проверки через Comparator нужны `landrun`, `lean4export` и `nanoda_bin` в PATH. После загрузки кеша из корня репозитория запускается `lake exe comparator ComparatorChallenges/NavierStokes.json`. [Команды сборки и переход к инструкции Comparator опубликованы в README](https://github.com/openai/NavierStokesAndEuler/blob/main/README.md).
На 8 сентября OpenAI продолжала обучение внутренней модели, начатое 28 августа.
Первоисточник
