Математик Тристан Бакмастер из Принстонского университета опубликовал публичное заявление с обвинениями в адрес OpenAI. По его словам, компания узнала о его совместной работе с Левентом Альпоге над вариантом уравнений Навье-Стокса через утечку информации и затем оказывала давление, пытаясь повлиять на состав авторов научной статьи. Уравнения Навье-Стокса описывают движение жидкостей и газов и входят в список семи задач тысячелетия, за решение каждой из которых Математический институт Клэя предлагает приз в один миллион долларов.

Бакмастер и Альпоге работали над задачей несколько месяцев, используя различные ИИ-модели, включая Anthropic Claude и OpenAI Codex на базе GPT-5.6 Sol. К середине августа они достигли нескольких ов, в том числе получили результат для одного из вариантов уравнений Навье-Стокса. Однако работа ещё не была опубликована и формально не проверена. Признанное доказательство стало бы крупным событием для математики и важной вехой для исследований с помощью ИИ.

ПараметрOpenAIБакмастер и Альпоге
Решаемая задачаВынужденное уравнение Эйлера (по заявлению OpenAI)Вариант Навье-Стокса (по заявлению Бакмастера)
СрокиНачало 1 сентября, завершение 6 сентябряК середине августа достигнуты прорывы
Используемые моделиВнутренняя модель, «значительно более способная, чем GPT-6 Astra»Claude, Codex на базе GPT-5.6 Sol
Метод10 000 координированных ИИ-агентов за 88 часовСовместная работа математиков с ИИ-моделями

По словам Бакмастера, в начале сентября до OpenAI дошли слухи о е. Альпоге узнал, что информация о их работе была передана компании. Третьего сентября Бакмастер сам связался с математиком из OpenAI, чтобы прояснить ситуацию, подчеркнув, что работа ведётся в личном качестве и не связана с институциональными соглашениями. OpenAI ответила в тот же день, запросила детали и предложила вычислительные ресурсы. Бакмастер предложил созвониться на следующей неделе, но компания настаивала на более раннем разговоре. В пятницу они спросили, может ли он поговорить в тот же день, а в воскресенье в 12:45 интересовались, доступен ли он «в любой момент сегодня».

OpenAI отрицает обвинения, заявляя, что не видел работу до публичного релиза, и предлагает совместный анонс.

OpenAI's internal model solves nearly three times as many open math problems as GPT-6 Astra, with the gap widening as compute scales up. | Image: OpenAI
OpenAI's internal model solves nearly three times as many open math problems as GPT-6 Astra, with the gap widening as compute scales up. | Image: OpenAI · Источник: The Decoder

OpenAI отвергает обвинения. В пресс-брифинге для WIRED компания заявила, что исследователи и агенты не видели работу Бакмастера и Альпоге до её публичного релиза. Себастьен Бубек, вице-президент по исследованиям, подчеркнул, что OpenAI признаёт приоритет их работы и поздравляет с «монументальным достижением». Компания утверждает, что её решение отличается по подходу и даже по точной формулировке результата: Бакмастер и Альпоге решили задачу о вынужденном уравнении Эйлера, а не Навье-Стокса в исходной формулировке.

OpenAI также опубликовала официальный пост, в котором сообщается, что работа началась 1 сентября после слуха, который позже оказался связан с работой Бакмастера и Альпоге. Компания утверждает, что завершила проект и Lean-верификацию 6 сентября, после чего связалась с математиками, предложив совместный анонс с признанием их приоритета. OpenAI заявляет, что не имела доступа к их работе и что «маловероятно, но нельзя исключить», что обезличенные данные, полученные из использования продуктов, могли улучшить модели. Бакмастер ответил в Mastodon, отметив, что компания «открыто признаёт использование тренировочных данных за период после нашего результата» и задал вопрос об этичности использования данных клиентов для перехвата их исследований.

Этот инцидент поднимает важные вопросы о конкуренции в области ИИ-исследований и этике использования данных. Если обвинения Бакмастера подтвердятся, это может иметь последствия для репутации OpenAI и для того, как исследователи относятся к использованию коммерческих ИИ-моделей. OpenAI, со своей стороны, указывает на значительные вычислительные затраты: по словам Марка Чена, руководителя исследований, только вычисления обошлись в «миллионы долларов». Компания также сообщила, что доказательство было получено с помощью примерно 10 000 координированных ИИ-агентов за 88 часов с использованием внутренней модели, которую OpenAI описывает как «значительно более способную, чем GPT-6 Astra».

Параллельно Ноам Браун, разработчик OpenAI, провёл сравнение с предыдущими достижениями: запуск o3, достигший 87,5% на бенчмарке ARC-AGI, стоил около 500 000 долларов, а теперь Astra может сделать больше примерно за 20 долларов. Он прогнозирует, что через год у каждого будет ИИ, способный решать задачи такого уровня. Это подчёркивает стремительное удешевление ИИ-вычислений, но также ставит вопрос о том, кто сможет позволить себе подобные исследования в ближайшем будущем.

Для математического сообщества этот случай может стать прецедентом в отношении ИИ-ассистированных открытий. Бакмастер и Альпоге использовали ИИ как инструмент, но их работа ещё не прошла полную проверку. Если доказательство будет признано, это может изменить подход к решению сложных математических задач, но также потребует новых норм в отношении приоритета и авторства в эпоху ИИ.