OpenAI заявила о решении уравнений Навье — Стокса за 88 часов, но математики подозревают компанию в краже данных

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

Как работала ИИ-система OpenAI

Компания создала несколько групп ИИ-агентов разного размера, дав им доступ к кешированной версии интернета, возможность запускать код и общаться внутри группы. Группа из 100 агентов справилась с задачей регулярности решений уравнений Эйлера (более простой проблемой, связанной с уравнениями Навье — Стокса) за 50 часов. Затем ИИ-агентов перенаправили на проблему Навье — Стокса, и 5 сентября группа из 10 тысяч агентов пришла к её решению примерно через 88 часов. Ещё 17 часов потребовалось для формализации и верификации результатов в системе интерактивного доказательства теорем Lean с помощью модели GPT-6 Astra.

Версия OpenAI о происходившем

OpenAI утверждает, что предоставила Бакмастеру и Альпёге все использованные промпты для ознакомления. В компании дважды подчеркнули, что признают приоритет учёных в решении задачи Эйлера и не претендуют на получение «Премии тысячелетия». OpenAI также утверждает, что ни сами исследователи, ни их ИИ-агенты не имели доступа к работе Бакмастера и Альпёге и не использовали никакие конкретные пользовательские данные.

Подозрения математиков

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

Угрозы и давление

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

Работа математиков

Бакмастер и Альпёге в своих исследованиях использовали несколько моделей искусственного интеллекта: Claude от Anthropic, а также Codex и GPT-5.6 Sol от OpenAI. Позже они задействовали GPT-6 Astra для подготовки текста и аудита аргументов. Прорыв произошел 15 августа, когда учёные получили первое доказательство для уравнений Эйлера, сгенерированное большой языковой моделью. Бакмастер подчеркнул, что, хотя этот текст был «типичным нейрослопом», сам факт того, что ИИ его сгенерировал, подтверждал: теперь математик с помощью искусственного интеллекта может выполнить огромный объём работы всего за месяц. Полного решения задачи Навье — Стокса исследователи не получили, но приблизились к нему — эти результаты пока не прошли формальную верификацию в системе Lean.

Значение уравнений Навье — Стокса

Уравнения Навье — Стокса — это дифференциальные уравнения, которые описывают движение жидкости под действием инерции и внешних сил. Они столь же важны для гидродинамики, как законы Ньютона для механики, с тем различием, что законы Ньютона описывают поведение точки или тела, а уравнения Навье — Стокса применяются для среды вообще и на таких масштабах, когда тем, из чего эта среда состоит (молекулами или атомами), можно пренебречь.