OpenAI заявила о решении задачи Навье — Стокса и столкнулась со спором о приоритете

Компания OpenAI сообщила, что её внутренняя модель искусственного интеллекта предложила доказательство для одной из «задач тысячелетия» — о существовании и гладкости решений уравнений Навье — Стокса. Описание результата и его формализация на языке Lean опубликованы компанией. Об этом пишет сайт Рязань Онлайн.

Однако вокруг работы возник спор с профессором математики Нью-Йоркского университета Тристаном Бакмастером. Он заявил, что OpenAI могла опираться на результаты его совместного исследования с математиком Левентом Альпеге из Anthropic.

Для решения задачи OpenAI использовала группы ИИ-агентов с доступом к кэшированной копии интернета и возможностью выполнять код. В работе участвовали около 10 тысяч агентов: одни направляли поиск в сторону доказательства, другие пытались его опровергнуть. Параллельно система решала более простые математические проблемы, включая задачу о регулярности решений уравнений Эйлера.

К результату по уравнениям Навье — Стокса агенты пришли 5 сентября. На формализацию и проверку с помощью GPT-6 Astra ушло ещё 17 часов. Всего было отправлено 2,7 млн сообщений и использовано 130 млрд выходных токенов, что компания сравнила с объёмом примерно миллиона книг.

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

Бакмастер 8 сентября представил предварительные результаты, полученные с моделями Codex и Claude. Он заявил, что сведения о ходе их исследования могли попасть в OpenAI, и обратил внимание на сходство подходов, но не обвинил компанию напрямую. Руководитель математических исследований OpenAI Себастьен Бюбек назвал эти утверждения ложными и провокационными. После заявления Бакмастера компания опубликовала полное доказательство.