8 сентября 2026 г.
OpenAI спорит с математиком об авторстве: он заявил о попытке исключить коллегу
Компания заявила о решении задачи Навье — Стокса с помощью 10 000 ИИ-агентов и выложила доказательство в Lean.
8 сентября OpenAI опубликовала доказательство для трёхмерных уравнений Навье — Стокса, описывающих движение жидкости.
Авторы рассматривают случай с гладкой внешней силой: скорость становится неограниченной за конечное время, а кинетическая энергия остаётся ограниченной. OpenAI заявляет, что результат отвечает вариантам C и D задачи Millennium Prize. [Описание результата OpenAI](https://openai.com/index/navier-stokes-solution/).
Решала внутренняя модель. OpenAI называет её значительно сильнее GPT-6 Astra. По данным компании на 8 сентября, группа из примерно 10 000 одновременно работающих агентов нашла решение за 88 часов, а формализация и проверка через Astra заняли ещё 17 часов. Codex собирал полезные промежуточные результаты разных групп в сводки для следующих промптов. [Как OpenAI организовала работу агентов](https://openai.com/index/navier-stokes-solution/).
Математики Тристан Бакмастер и Левент Альпёге до этого почти год продвигались медленно. С помощью Claude и Codex, прежде всего GPT-5.6 Sol, 15 августа они получили результаты для уравнений Буссинеска и Эйлера с гладкой внешней силой, а 22 августа проверили доказательство в Lean. Astra они использовали для оформления и аудита. [Хронология Бакмастера](https://cims.nyu.edu/~tristanb/statement.pdf).
Спор касается авторства. Бакмастер утверждает, что 6 сентября исследователь OpenAI Себастьен Бюбек дважды предложил исключить Альпёге из авторов статьи о результате компании. Бюбек публично отверг это утверждение. Глава исследований OpenAI Марк Чен оценил вычисления для математического результата в миллионы долларов. [Позиции сторон и оценка затрат в WIRED](https://www.wired.com/story/openai-navier-stokes-math-discovery-academics/).
Бакмастер также поставил вопрос об использовании их работы с Codex, не утверждая, что компания использовала эти данные. OpenAI отрицает доступ к их конкретным пользовательским данным для решения задачи, но допускает, что обезличенные данные использования продуктов помогли улучшить модели. [Заявление Бакмастера](https://cims.nyu.edu/~tristanb/statement.pdf), [ответ OpenAI](https://openai.com/index/navier-stokes-solution/).
Опубликованное доказательство можно проверить в Lean, системе формальной проверки математических рассуждений. В репозитории openai/NavierStokesAndEuler после установки elan нужно выполнить в каталоге проекта `lake exe cache get`, затем `lake build`. [Доказательства и команды сборки](https://github.com/openai/NavierStokesAndEuler).
OpenAI признаёт приоритет Бакмастера и Альпёге в результате для уравнений Эйлера с внешней силой.
Первоисточник
