В начале сентября 2026 года OpenAI опубликовала 166-страничный черновик, который, по заявлению компании, мог решить задачу Навье — Стокса — одну из семи тысячедолларовых задач тысячелетия Института математики Клэя. Текст написан на Lean — языке формальной верификации, который автоматически проверяет каждый логический шаг. OpenAI заявила, что доказательство основано на методе испанских математиков Диего Кордобы и Луиса Мартинеса-Зороа.
Математики указывают на несоответствие
Несколько математиков, в том числе Гонсало Као-Лабор из EPFL, изучили черновик и утверждают, что ход рассуждений не соответствует подходу Кордобы — Мартинеса-Зороа. По их мнению, сходство лишь поверхностное. Институт математики Клэя изучает черновик с момента его публикации.
Вычислений много, результат неясен
OpenAI задействовала около 10 000 экземпляров модели примерно на 88 часов; в результате было обработано 130 миллиардов токенов. Исследователь Ноам Браун считает, что на мультиагентную систему приходится менее 10 % результата, а значит, основная часть работы выполнена самой базовой моделью. Точная роль роя агентов остаётся неизвестной: систематических испытаний в таком масштабе пока не проводили.
Новые публикации вызвали критику
В начале октября OpenAI добавила в неформальную коллекцию на GitHub ещё около 400 результатов, созданных ИИ. Многие математики заявили, что это обесценивает их область. Из-за стремительного потока публикаций математическое сообщество не успевает за ним.
Почему это важно
Для обычного читателя эта история показывает: даже огромные вычислительные ресурсы могут дать результат, который эксперты продолжают оспаривать. Она также подчёркивает, что математические доказательства, созданные ИИ, пока не позволяют обойти проверку человеком, а задача, за решение которой присуждают премию, остаётся нерешённой.
