OpenAI обвинили в присвоении решения задачи Навье-Стокса через Codex

В начале сентября в математическом сообществе разгорелся конфликт, который сочетает академические амбиции, большие деньги и вопросы об этике использования ИИ. Математик Тристан Бакмастер публично обвинил OpenAI в том, что компания использовала его и Левента Альпёге подход к решению задачи Навье-Стокса без разрешения. Речь идёт об одной из семи «задач тысячелетия», за решение каждой из которых Математический институт Клэя предлагает $1 млн.

Уравнения Навье-Стокса описывают движение вязких жидкостей и газов. Несмотря на широкое применение в аэродинамике и океанологии, математики до сих пор не доказали существование и гладкость решений в трёхмерном пространстве. Это одна из самых сложных открытых проблем современной математики. Бакмастер и Альпёге, последний работает в Anthropic, в течение года использовали ИИ-инструменты, включая Claude и ChatGPT через Codex, для разработки доказательства.

По словам Бакмастера, около 3 сентября в Twitter появились слухи, что Anthropic решила задачу. После этого он связался с OpenAI, сообщив о своей работе. Через несколько дней компания ответила, что её внутренняя модель также решила Навье-Стокса, причём подход оказался «подозрительно идентичен» их разработкам. Когда Бакмастер задал уточняющие вопросы, OpenAI признала, что начала промптинг модели сразу после появления слухов. На вопрос, не тренировалась ли модель на пользовательских сессиях Codex, компания ответила уклончиво, заявив, что в процессе решения модель не обращалась к чатам.

Дальнейшие события выглядят ещё более спорными. Бакмастер утверждает, что OpenAI предложила ему опубликовать решение первым и получить приз, но с условием исключить Альпёге из соавторов. Когда он отказался, ему якобы намекнули на возможные карьерные последствия. OpenAI, со своей стороны, опубликовала пресс-релиз о решении задачи, ссылаясь на формализованное доказательство в системе Lean. Себастиан Бубека, представитель OpenAI, назвал обвинения ложными, пообещав предоставить детали позже.

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