Навье-Стоксгейт

8 сентября OpenAI заявила, что её невыпущенная модель решила одну из семи "задач тысячелетия" - проблему существования и гладкости решений уравнений Навье–Стокса. Напомню, что до этого была решена лишь одна задача тысячелетия - Гипотеза Пуанкаре, которую доказал Григорий Перельман.

Вначале ~100 агентов 50 часов решали упрощенную задачу о регулярности уравнений Эйлера. Далее результат скормили для решения задачи про уравнение Навье-Стокса. В пике работали около 10000 агентов в течении 88 часов. Потом еще 17 часов на проверку доказательства в Lean. Было потрачено токенов на более чем $22 млн.

Доказательство уже выложено. Но пока независимой проверки не прошло.

Все бы хорошо, но Open AI подозревают в плагиате и краже ключевой идеи доказательства.

За 12 часов до анонса от Open AI математик Тристан Бакмастер опубликовал заявление, где анонсировал несколько прорывов в решении задачи Навье-Стокса. В частности для упрощенной задачи - уравнения Эйлера. И что по самой задаче Навье-Стокса они уже нашли доказательство, но оно пока еще не прошло Lean и статья еще не готова для публикации. Там же он рассказал, что они работали год над этим решением совместно с математиком, который работает в Антропик - Левентом Альпёге. И результатов по Эйлеру достигли 15 августа.

Кроме того, в том же заявлении он написал, что 3 сентября рассказал, про свой проект одному из сотрудников Open AI, после того, как поползли слухи, что в Антропик решили задачу тысячелетия. Тристан, сказал, что это с Левентом их личный проект и к Антропику отношения не имеет. Что Левент делает это не как сотрудник Антропика.

После этого, через 3 дня Open AI делает свое доказательство используя абсолютно тот же подход, предложенный Бакмастером и Альпеге.

6 сентября Себастьен Бюбек из Open AI связывается с Бакмастером. По его словам, он хотел, чтобы все лавры доказательства достались Бакмастеру и Альпеге. Но в ходе разговора узнает, что Бакместер и Альпеге решили только Эйлера, но не Навье-Стокса. Поэтому предлагает Бакмастеру два варианта:
1) Бакмастер и Альпеге публикуют независимо работу по Эйлеру, а Open AI по Навье-Стоксу, но с указанием заслуг Бакмастера и Альпеге.
2) Open AI дает доступ к их доказательству по Навье Стоксу и автором делает Бакмастера, а Альпеге вычеркивает (т.к. он работает в Антропике).

У Бакмастера возникло подозрение, что Open AI украло у них идею доказательства и что, возможно, они получили доступ к его сессиям в Codex. Т.к. они сами активно пользовались Codex для проверки выкладок.
Также Бакмастер сказал, что Бюбек ему угрожал (Зачем тебе разрушать свою карьеру?), после того, как он сказал, что пойдет в публичное поле. А также говорил, что все было бы проще, если бы Альпеге не работал бы в Антропике.

По итогу, Бакмастер и Open AI опубликовали свои заявления и работы независимо. А также Бакмастер предал огласке всю поднаготную этой истории.