OpenAI сообщила о решении задачи Навье — Стокса моделью мощнее GPT-6 Astra
OpenAI 2026-09-08 опубликовала решение задачи существования и гладкости уравнений Навье — Стокса — одной из семи задач тысячелетия. По данным компании, неназванная внутренняя модель построила доказательство возникновения сингулярности за конечное время, а результат оформлен как математическая статья и формальное доказательство на Lean. Работа системы началась 2026-09-01, основной результат был получен 2026-09-05 примерно за 88 часов, еще 17 часов заняли формализация и проверка с помощью GPT-6 Astra.
Компания утверждает, что использованная модель существенно превосходит GPT-6 Astra и продолжает обучение с 2026-08-28. В проекте участвовало около 10 000 параллельно работающих программных помощников; только по задаче Навье — Стокса они сформировали 2,7 млн сообщений и около 130 млрд выходных токенов. Название модели, условия доступа, цена, устройство и сроки выпуска не раскрыты. Независимого подтверждения корректности доказательства и признания результата Clay Mathematics Institute пока нет.
Для бизнеса это сигнал о росте возможностей автоматизации научных исследований, формальной проверки и инженерного моделирования, но не готовый продукт для закупки. Стоимость такой работы в USD и рублях оценить нельзя: OpenAI не раскрыла цену внутренней модели и вычислительные расходы. Основной риск — принять заявление компании за окончательно установленный научный результат; организациям следует дождаться независимой экспертизы статьи и проверки Lean-кода, прежде чем учитывать выводы в проектах. «Кибер-Радар» будет отслеживать внешнюю рецензию, решение Clay Mathematics Institute и возможный публичный выпуск использованной модели.