动察 Beating AI Flash: Компания OpenAI опубликовала доказательство уравнений Навье — Стокса, полностью выполненное с помощью искусственного интеллекта. Эта математическая задача оставалась нерешенной около 90 лет и входит в число семи «Задач тысячелетия», за решение каждой из которых назначена премия в размере $1 миллиона.

В OpenAI заявили, что использовали находящуюся в процессе обучения внутреннюю модель, которая значительно превосходит GPT-6 Astra. Около 10 000 агентов работали сообща, чтобы найти решение за 88 часов, после чего потребовалось еще 17 часов для проведения машинной верификации в среде Lean с использованием модели Astra. Статья и верификационный код были выложены в открытый доступ, однако им еще предстоит пройти экспертную оценку математического сообщества.

За этим достижением кроется конфликт вокруг приоритета публикации. Математик из Нью-Йоркского университета Тристан Бакмастер и сотрудник компании Anthropic Левент Алпёге ранее продвинулись в исследованиях в том же направлении с помощью Claude и Codex. Бакмастер утверждает, что после того, как сведения об их неопубликованных наработках дошли до OpenAI, компания за считанные дни направила огромные вычислительные ресурсы на реализацию аналогичного подхода. Более того, Бакмастеру даже предложили переписать доказательство уравнений Навье — Стокса для OpenAI, но с условием, что Алпёге не будет указан в качестве соавтора.

В OpenAI признали, что этот спринт действительно начался со слухов о том, что «Anthropic, возможно, решила одну из Задач тысячелетия». 1 сентября команда приступила к решению ряда математических задач с помощью новой модели: сначала около 100 агентов были задействованы для получения результатов по уравнениям Эйлера, а затем ресурсы сосредоточили на уравнениях Навье — Стокса, масштабировав систему примерно до 10 000 агентов. OpenAI отрицает, что видела исследование Бакмастера до публикации его работы, а также отвергает факт доступа к конкретным пользовательским данным. Однако компания не исключает до конца другую вероятность: деобезличенные данные, полученные в результате использования продуктов OpenAI обоими исследователями, могли быть применены для улучшения модели.

Себастьян Бубек также прокомментировал спор об авторстве и свое высказывание об «уничтожении карьеры». Он заявил, что не требовал от Алпёге отказаться от авторства их оригинальной работы; речь шла о том, чтобы Бакмастер взял на себя ведущую роль в написании доказательства для OpenAI, при этом Бубек посчитал неуместным указывать сотрудника Anthropic в качестве автора работы OpenAI. Что касается фразы «зачем вам разрушать собственную карьеру», Бубек признал формулировку неудачной и принес извинения, но отверг обвинения в том, что это была угроза. Сэм Альтман также публично поддержал Бубека и подтвердил, что OpenAI изначально услышала слухи об Anthropic и решила проверить, способна ли ее собственная модель добиться аналогичного результата.

В OpenAI заявили, что не будут претендовать на денежный приз в размере $1 миллиона, полагающийся за решение этой задачи.