Математик и OpenAI по-разному описали переговоры о задачах Навье — Стокса

Тристан Бакмастер обвинил исследователя OpenAI в давлении вокруг соавторства и возможного совместного анонса; OpenAI отвергла обвинения и опубликовала собственное доказательство. Доступ к черновикам и происхождение данных остаются предметом разногласий.

Версия Тристана Бакмастера

Математики Тристан Бакмастер и Левент Альпёге сообщали о работе над задачами, связанными с уравнениями Навье — Стокса и Эйлера, с помощью Claude и Codex. По рассказу Бакмастера, после слухов о результатах OpenAI предложила варианты совместной публикации; он утверждает, что исследователь Себастьян Бюбек дважды хотел исключить Альпёге из авторов из-за его работы в Anthropic. Бакмастер также пересказал фразу, которую воспринял как угрозу карьере.

Бакмастер говорил, что не видел доказательство OpenAI и не знает, использовались ли данные их сессий Codex. В первоначальном заявлении он подчёркивал, что не обвиняет компанию в использовании их работы.

Ответ и результат OpenAI

В обновлении от 8 сентября The Decoder сообщил, что OpenAI опубликовала доказательство по уравнениям Навье — Стокса, формализованное в Lean. По заявлению компании, около 10 000 скоординированных ИИ-агентов получили результат за 88 часов; исследовательский руководитель Марк Чен оценил стоимость вычислений в миллионы долларов.

OpenAI отвергла обвинения в доступе к работе математиков и заявила, что команда и агенты увидели её лишь после публичной публикации. Компания рассказала, что начала проект после слуха о прорыве, а затем предложила совместное объявление. По версии OpenAI, она сначала не знала, что результат Бакмастера и Альпёге относился к задаче Эйлера, а не к уравнениям Навье — Стокса; компания утверждает, что результаты и подходы различаются.

Что остаётся неизвестным

OpenAI заявила, что не может исключить влияние обезличенных данных от использования её продуктов на обучение моделей, но отрицает доступ к конкретным материалам для решения задачи. The Decoder отмечает, что неизвестно, отключал ли Бакмастер настройку, разрешающую использовать данные клиентов для обучения. Не установлено, повлияли ли его черновики на модель.

По версии OpenAI, её внутренний результат относится к другой математической задаче, чем результат, который Бакмастер и Альпёге описали в своей работе. Заявления сторон не доказывают ни давление на соавтора, ни использование пользовательских черновиков.

The Decoder — OpenAI researcher allegedly pressured mathematician to drop Anthropic co-author from math breakthrough paper