Компания OpenAI заявила, что ее внутренняя ИИ-модель нашла решение одной из семи «Задач тысячелетия» — проблемы существования и гладкости решений уравнений Навье — Стокса.

Эти уравнения XIX века описывают движение жидкостей и газов и используются в проектировании самолетов, прогнозировании погоды и изучении кровотока. Почти 90 лет ученые пытались выяснить, всегда ли математическое описание жидкости остается «гладким» (непрерывным и предсказуемым) или же движение потоков может приводить к «сингулярности» — коллапсу модели, при котором скорость жидкости за короткое время стремится к бесконечности.

Система OpenAI, по заявлению компании, математически доказала второй сценарий: изначально поток жидкости может самостоятельно разгоняться до бесконечных скоростей, образуя сингулярность. Для проверки точности выкладок ИИ прошел формальную верификацию на языке Lean.

Компания OpenAI 8 сентября объявила о решении одной из семи «задач тысячелетия» — проблемы существования и гладкости решений уравнений Навье – Стокса. Доказательство было получено с помощью внутренней модели искусственного интеллекта.

«Мы представляем решение задачи о существовании и гладкости решений уравнений Навье – Стокса — одной из «задач тысячелетия». <...> Мы публикуем как описание самого доказательства, так и его формализацию на языке Lean», — говорится в заявлении компании.

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

OpenAI заявила, что ее новая модель вместе с примерно 10 тысячами автономных ИИ-агентов смогла за 88 часов найти решение знаменитой проблемы существования и гладкости решений уравнений Навье — Стокса.

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

К 5 сентября ИИ-агенты смогли получить решение, которое, по словам OpenAI, закрывает две из четырех частей доказательства, требуемых для решения проблемы. При этом результат еще никто независимо не проверил, а Институт Клэя, присуждающий за каждую такую задачу премию в $1 млн, его официально не признал.

Что пишут другие издания

  • Известия: OpenAI объявила о решении ее моделью ИИ одной из семи задач тысячелетия
  • iXBT: Новая модель OpenAI решила одну из семи задач тысячелетия, которую не могли доказать 90 лет
  • РБК: OpenAI объявила о решении одной из семи «задач тысячелетия»