Профессор NYU обвинил OpenAI в перехвате задачи Навье — Стокса. Что ответили в компании
Тристан Бакмастер почти год решал задачу вместе с сотрудником Anthropic. OpenAI взялась за неё только после слухов об их успехе, и её агенты справились за 88 часов.
Профессор математики Нью-Йоркского университета Тристан Бакмастер утверждает, что OpenAI начала решать задачу Навье — Стокса, только когда узнала о его ещё не опубликованном решении. Обвинения он приложил к наспех выпущенной статье со своими результатами. Спор подробно разобрал в блоге разработчик Саймон Уиллисон.
«Я спросил, когда они отправили первый запрос. OpenAI довольно долго не отвечала на этот вопрос прямо. В итоге сошлись на том, что его отправили в последние несколько дней, уже после того как сведения о нашей работе дошли до OpenAI», — написал Бакмастер.
Над задачей он работал почти год вместе с математиком Левентом Алпёге, который сейчас работает в Anthropic. Оба активно пользовались Claude и Codex, в основном моделью GPT-5.6 Sol, и 15 августа добились прорыва. Все черновики они загружали в Codex. На вопрос, видела ли модель OpenAI эти сессии, Бакмастеру ответили, что модель не ищет данные пользователей. Спросил ли он повторно, обучалась ли модель на них, — ответа не получил.
По словам Бакмастера, OpenAI предложила подождать с объявлением, пока он не опубликует свою работу, или сделать его автором статьи о собственном результате. Алпёге в соавторы при этом не приглашали: в OpenAI сослались на конкуренцию с его работодателем.
В OpenAI рассказывают свою версию. Работу там начали 1 сентября, когда пошли слухи, что решены сразу две задачи тысячелетия, и прогнали внутреннюю модель на всех открытых задачах этого списка. Уже после проверки на Lean1, 6 сентября, компания сама связалась с Бакмастером и Алпёге. Им предложили выпустить результаты одновременно и признать их первенство в совместном объявлении.
«Мы (исследователи и агенты) никак не видели их работу, пока они не опубликовали её», — подчеркнули в OpenAI. Компания признала, что не может исключить другое: обезличенные данные, собранные, пока математики пользовались её продуктами, могли помочь улучшить её модели. По словам OpenAI, доказательства заметно различаются, а в случае уравнений Эйлера различаются даже доказанные утверждения.
Агенты OpenAI пришли к решению 5 сентября, примерно через 88 часов после запуска. Ещё 17 часов ушло на то, чтобы GPT-6 Astra записала доказательство на Lean и проверила его. По всем задачам агенты отправили 4,9 млн сообщений и сгенерировали около 300 млрд токенов2, из них на задачу Навье — Стокса пришлось 2,7 млн сообщений и около 130 млрд токенов. По оценке Уиллисона, столько токенов по публичным ценам GPT-6 Astra в API обошлось бы примерно в $15 млн.
Уиллисон полагает, что в OpenAI увидели шанс показать силу новой модели и не задумались, как будет выглядеть, если компания опередит команду, почти год работавшую с её же моделями. Он сравнил это с тем, что происходит в компьютерной безопасности. По словам Уиллисона, одного слуха о решении теперь может хватить, чтобы кто-то потратил миллионы долларов на ИИ и пришёл к нему первым. Ещё один вопрос, который он задаёт в посте, касается обучения: может ли работа, которую пользователь делает в ChatGPT, попасть в следующую модель, чтобы та помогла решить задачу кому-то другому.
Решение задачи о существовании и гладкости решений уравнений Навье — Стокса OpenAI объявила 8 сентября. Это одна из семи задач тысячелетия3: за решение каждой с 24 мая 2000 года обещана премия в $1 млн.