FAANG Master

Навье-Стоксгейт 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 опубликовали свои заявляения и работы независимо. А также Бакмастер предал огласке всю поднаготную этой истории.