Искусственный интеллект OpenAI решил проблему Навье – Стокса

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

В работе участвовали 10 тыс. агентов с доступом к кэшированной копии интернета и возможностью выполнять программный код. Одни агенты искали доказательство, другие — возможное опровержение. В ходе обучения система также решила проблему регулярности решений уравнений Эйлера.

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