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

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

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

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

Бакмастер утверждает, что первый промпт был отправлен уже после того, как информация о его работе дошла до OpenAI. На прямой вопрос о том, обучалась ли модель на черновиках ученых, загруженных в систему Codex, ответа он не получил. Математику предложили два варианта: одновременная публикация решений или написание им единоличной статьи о результате OpenAI. Представитель компании дважды настаивал на исключении Алпёге из числа авторов, а при угрозе огласки заявил: «Зачем вам губить свою карьеру?»

Бакмастер подчеркнул, что не видел доказательства OpenAI и не утверждает факт использования своих данных, а лишь излагает хронологию событий и предложений. Ранее 9 сентября OpenAI объявила, что ее модель нашла решение задачи Навье-Стокса, значительно превзойдя показатели передовой GPT-6 Astra. Для решения одновременно работали около 10 тыс. агентов, было отправлено 2,7 млн сообщений и использовано 130 млрд выходных токенов. Формализация и верификация результата заняли 17 часов.