Математик обвинил OpenAI в краже его подхода к решению «задачи тысячелетия»

Профессор математики Нью-Йоркского университета Тристан Бакмастер публично обвинил OpenAI в неэтичном поведении. По его словам, компания использовала наработки его совместного с коллегой проекта для решения одной из «задач тысячелетия» - проблемы существования и гладкости решений для уравнений Навье-Стокса.

Бакмастер и математик из Anthropic Левент Алпёге 8 сентября объявили о трёх результатах: они доказали взрыв за конечное время при гладкой внешней силе для уравнений пористой среды, уравнения Буссинеска и уравнения Эйлера. Учёные также сообщили, что близки к аналогичному прорыву для уравнений Навье-Стокса, но пока не публикуют его из-за незавершённой проверки в системе Lean. При решении они использовали инструменты искусственного интеллекта.

За два дня до этого, 6 сентября, представители OpenAI сообщили Бакмастеру, что их внутренняя модель получила доказательство взрыва для уравнений Навье-Стокса с гладкой внешней силой. Причём именно тем способом, который они с Алпёге «тихо выбрали для атаки». «Почти никто из тех, кого я знаю, над этим не работал», - отметил математик, назвав услышанное «ярко-красным флагом».

Изначально результат преподнесли как достижение модели с «очень малым человеческим вкладом». Однако в ходе разговора выяснилось, что над проблемой работала целая команда из OpenAI, использовалось «безумное количество вычислительных ресурсов», а первый промпт отправили уже после того, как информация о работе Бакмастера дошла до компании. На прямой вопрос, обучалась ли модель на черновиках учёных, загруженных в ИИ-систему OpenAI Codex, математик ответа не получил.

По словам Бакмастера, в OpenAI ему предложили два варианта: либо он с Алпёге публикует своё решение, а компания на следующий день - своё, либо Бакмастер один пишет статью о результате OpenAI. Представитель компании также «дважды заявил, что хочет, чтобы Левент [Алпёге] был исключён из числа авторов». Когда математик пригрозил предать произошедшее огласке, ему ответили: «Зачем вам губить свою карьеру?»

Бакмастер подчеркнул, что не видел доказательства OpenAI и не утверждает, что его данные были использованы. «Я излагаю, что мне было сказано, когда, и что мне было предложено», - пояснил он. Ранее 9 сентября OpenAI заявила, что её внутренняя модель на основе ИИ нашла решение одной из семи «задач тысячелетия». Возможности этой модели значительно превосходят показатели передовой GPT-6 Astra.

Для решения задачи группам агентов предложили несколько «задач тысячелетия». В той, что справилась с уравнениями Навье-Стокса, одновременно работали около 10 тыс. агентов. Одни получали формулировки, ведущие к доказательству, другие - к опровержению. К решению модель пришла 5 сентября, а формализация и верификация с помощью GPT-6 Astra заняли ещё 17 часов. Всего отправили 2,7 млн сообщений и использовали 130 млрд выходных токенов - примерно объём миллиона книг.