8 сентября 2026 г.
Математик NYU заявил о давлении OpenAI: соавтора просили исключить из статьи
Тристан Бакмастер утверждает, что OpenAI требовала убрать из авторов его коллегу из Anthropic при обсуждении совместной публикации.
8 сентября OpenAI опубликовала 166-страничное доказательство по задаче Навье — Стокса. Математик Тристан Бакмастер оспорил действия компании при подготовке публикации.
Спор об авторстве. По словам Бакмастера, на переговорах 6 сентября исследователь OpenAI Себастьен Бубек дважды потребовал исключить Левента Альпёге из авторов предлагаемой статьи из-за его работы в Anthropic. Бакмастер отказался от обоих вариантов публикации. Эти обстоятельства он изложил в [заявлении на сайте NYU](https://cims.nyu.edu/~tristanb/statement.pdf).
Бакмастер и Альпёге работали над родственными математическими задачами с помощью Claude и Codex, преимущественно с GPT-5.6 Sol. Результаты по уравнениям Буссинеска и Эйлера они получили 15 августа, а проверку в Lean завершили 22 августа. Astra использовали для оформления и проверки аргументов.
OpenAI начала собственный эксперимент 1 сентября после слухов о решении задач тысячелетия. Компания признаёт приоритет Бакмастера и Альпёге по уравнениям Эйлера с внешней силой и утверждает, что предложила совместный анонс после завершения своей Lean-проверки 6 сентября. OpenAI отрицает доступ команды и ИИ-агентов к неопубликованным работам математиков, но допускает, что обезличенные данные использования её продуктов помогли улучшить модели. Так компания описывает события в [своём заявлении](https://openai.com/index/navier-stokes-solution/).
Разный масштаб работы. Математики использовали доступные инструменты, а OpenAI поручила поиск группе из 10 000 агентов на внутренней модели, которую называет более способной, чем GPT-6 Astra. По данным компании, поиск занял 88 часов, формализация и проверка через Astra потребовали ещё 17 часов.
OpenAI заявляет о доказательстве для трёхмерных уравнений Навье — Стокса с гладкой внешней силой: при таких условиях решение может потерять гладкость за конечное время. За решение задачи Clay Mathematics Institute предусмотрел [премию $1 млн](https://www.claymath.org/millennium-problems/).
Формальную запись доказательства OpenAI выложила в [репозитории NavierStokesAndEuler](https://github.com/openai/NavierStokesAndEuler). Для сборки нужен elan, проект использует Lean 4.34.0-rc2. В папке проекта README предписывает последовательно выполнить `lake exe cache get` и `lake build`.
Бакмастер и Альпёге отложили публикацию собственного результата по варианту уравнений Навье — Стокса до завершения проверки в Lean.
Первоисточник
