8 сентября 2026 года OpenAI объявила, что ее мультиагентная система ИИ решила часть задачи о существовании и гладкости решений уравнений Навье-Стокса. Система якобы доказала два утверждения, обозначенные как C и D, в рамках сценария сингулярности за конечное время.
Для вычислений, начатых около 1 сентября 2026 года, потребовалось около 10 000 агентов ИИ, работавших примерно 88 часов. Они сгенерировали 2,7 миллиона сообщений и 130 миллиардов токенов. OpenAI представила отчет на 166 страницах и проверила логику с помощью инструмента Lean.
Компания заявила, что не претендует на премию в размере $1 миллиона от Математического института Клэя. Институт продолжает проверку работы. Эксперты отмечают, что доказательство, вероятно, касается только вынужденной формулировки задачи, в то время как математиков традиционно интересует случай без внешнего воздействия.
Математик из NYU Тристан Бакмастер и исследователь Anthropic Левент Альпёге обвинили OpenAI в использовании их неопубликованных наработок. OpenAI отрицает заимствование данных или промптов. Также возник спор относительно попыток OpenAI исключить Альпёге из списка авторов исследования.
Преподаватели Гарварда обсуждают роль ИИ в науке. Часть экспертов признает эффективность ИИ в формализации решений, однако другие опасаются, что отсутствие человеческого понимания логики доказательства затрудняет дальнейшее развитие математической мысли, даже если результат формально признан верным.
