OpenAI представила доказательство решения задачи тысячелетия

09 Сентябрь 2026

В Мире

Компания OpenAI сообщила, что решила задачи о существовании и гладкости решений уравнений Навье — Стокса. Она входит в список семи задач тысячелетия, об этом сообщает информационный портал «МИР 24».
Для работы OpenAI использовала внутреннюю модель искусственного интеллекта. В исследовании участвовали 10 тыс. агентов с доступом к кэшированной копии интернета и инструментам для выполнения кода.
Одни агенты искали доказательство утверждения, другие пытались его опровергнуть. В ходе работы модель также решила задачу о регулярности решений уравнений Эйлера. Около 100 агентов занимались ею 50 часов.
Решение задачи Навье — Стокса модель получила 5 сентября 2026 года. Еще 17 часов потребовалось для формализации и проверки доказательства с помощью GPT-6 Astra.
Всего система отправила 2,7 млн сообщений и использовала 130 млрд выходных токенов. В OpenAI заявили, что это сопоставимо с объемом около миллиона книг.
Компания также представила описание доказательства и его формализацию на языке Lean.