OpenAI заявила о решении одной из главных математических задач: ИИ работал над ней 88 часов
OpenAI заявила, что её экспериментальная система искусственного интеллекта нашла решение задачи Навье — Стокса — одной из семи знаменитых «задач тысячелетия». Этот математический вопрос оставался нерешённым около 90 лет и связан с тем, как уравнения описывают движение жидкостей и газов.
Для поиска доказательства OpenAI использовала систему примерно из 10 000 одновременно работающих ИИ-агентов. Они пришли к результату примерно за 88 часов, после чего формальная проверка доказательства с помощью GPT-6 Astra и системы Lean заняла ещё 17 часов.
ИИ использовал около 130 миллиардов токенов
По данным OpenAI, во время работы непосредственно над задачей Навье — Стокса агенты обменялись примерно 2,7 миллиона сообщений и сгенерировали около 130 миллиардов выходных токенов.
Полученное доказательство показывает, что при определённых условиях изначально гладкое движение жидкости может за конечное время привести к сингулярности — состоянию, при котором математическая модель перестаёт оставаться гладкой. Уравнения Навье — Стокса имеют фундаментальное значение для аэродинамики, прогнозирования погоды, моделирования движения воды и даже исследования кровотока.
OpenAI опубликовала математическую работу и формализованное доказательство, однако компания не собирается претендовать на премию в $1 миллион. Независимая оценка результата математическим сообществом продолжается, поэтому корректнее говорить о заявленном решении, а не об окончательно подтверждённом закрытии задачи.
