OpenAI 8 сентября 2026 года заявила, что её внутренняя ИИ-система решила одну из семи задач тысячелетия — проблему существования и гладкости решений уравнений Навье — Стокса.
По словам компании, доказательство показывает, что гладкая жидкость в покое под действием гладкой силы может развить сингулярность за конечное время, при этом энергия остаётся конечной.
Решение получено с помощью тысяч агентов ИИ, работавших в течение примерно 88 часов, и формализовано в Lean.
Объявление сразу же вызвало споры в математическом сообществе.
Профессор Нью-Йоркского университета Тристан Бакмастер и исследователь Anthropic Левент Альпёге незадолго до этого опубликовали результаты по связанным задачам, которые считались важными шагами к решению проблемы Навье — Стокса.
Бакмастер выразил обеспокоенность, что OpenAI могла узнать о направлении их работы и ускорить собственные усилия, используя похожий подход.
Компания отвергла обвинения в доступе к чужим данным или черновикам, заявив, что действовала на основе публичных слухов о прогрессе в других задачах тысячелетия.
Как именно ИИ-агенты пришли к доказательству и можно ли считать это самостоятельным прорывом, теперь обсуждают математики и эксперты по ИИ.
Интересно, повлияет ли этот эпизод на доверие исследователей к использованию коммерческих моделей для работы над неопубликованными результатами?
OpenAI подчеркнула, что не намерена претендовать на премию в миллион долларов от Института Клэя.
Событие стало ещё одним примером того, как быстро развиваются возможности ИИ в математике, но одновременно подняло вопросы об этике и авторстве в совместной работе человека и машины.
