Математики с осторожностью отнеслись к заявлению OpenAI о решении задачи Эфира после прошлых ошибок

Учёные, которых OpenAI назначила для проверки своего последнего заявления о том, что одна из внутренних моделей успешно опровергла Гипотезу об экспоненциальном времени, отказались поддержать это утверждение, указывая на прошлые скандалы вокруг математических объявлений лаборатории, которые, по их словам, часто бывают преувеличены.

Гипотеза об экспоненциальном времени, которую лаборатория под руководством Алтмана заявляет, что смогла решить, является мерой сложности решения задачи выполнимости булевых формул (Boolean satisfiability), связанной с проблемой P versus NP, и представляет собой гипотезу, лежащую в основе сотен статей по компьютерным наукам.

Райан Уильямс из МТИ, а также Рассел Импагалло и Раммохан Патхи из Калифорнийского университета в Сан-Диего возглавят группу, ответственную за независимую проверку результатов по гипотезе, изначально предложенной Импагалло и Патхи вместе с Фрэнсисом Зейном.

Математическое сообщество не приняло заявление OpenAI об ETH

Три исследователя, возглавляющие группу, проверяющую это утверждение написали в открытом письме своему профессиональному сообществу, что «их участие не следует воспринимать как сертификацию этого утверждения», добавив при этом, что «результаты такого масштаба требуют тщательной независимой проверки».

В своем аккаунте в X он написал, Уильямс сказал что группа не подписывала соглашение о неразглашении (NDA) и не будет получать оплату за работу по «открытому и независимому исследованию», которую ему и его коллегам поручили провести после того, как «внутренняя модель OpenAI выдвинула утверждение об опровержении ETH».

Уильямс также добавил, что OpenAI согласилась на их требование опубликовать все исходные данные, лежащие в основе результата. Лаборатория ИИ также согласилась профинансировать конференцию, посвященную последствиям этого открытия.

Почему научное сообщество не поддерживает заявление OpenAI без доказательств

Предыдущие заявления OpenAI в области математики не оправдали ожиданий. Независимая группа исследователей самостоятельно проверяет утверждения OpenAI, даже после того как лаборатория подтвердила опровержение: внутренние модели были найдены в Lean 16 октября, а на следующий день уже была подготовлена документация и доказательство в Lean. Они опубликованы на GitHub.

Lean — это язык, который проверяет доказательства с помощью машины. Однако этот метод также был опровергнут Андерсом Хансеном из Кембриджа и соавторами, которые в своей статье утверждали, что формализация, верифицированная в Lean, может компилироваться, но при этом не соответствовать естественному языку доказательства, которое она должна представлять. В качестве примера они привели работу OpenAI по уравнениям Навье-Стокса как кейс.

Математик Томас Блум, ведущий сайт с задачами Эрдёша, назвал заявление вице-президента OpenAI Кевина Вейла от октября 2025 года о том, что GPT-5 решил 10 ранее нерешённых задач Эрдёша, «резким искажением фактов».

Блум пояснил, что модель просто обнаружила существующие статьи, о которых он лично не знал, а не нашла новые решения знаменитых гипотез, предложенных Паулем Эрдёшем.

Этот инцидент вызвал публичную насмешку со стороны Янна ЛеКуна из Meta и Демиса Хассабиса из Google DeepMind.

OpenAI пришлось совершить три отзыва в течение одного дня после массового выпуска 722 препринтов, посвящённых 372 математическим задачам, опубликованных 6 октября. Это было вызвано ошибкой знака, которая опровергла один аргумент и два зависимых исследования. Лаборатория AI также пересмотрела ещё 14 работ. Математик из Корнелла Алекс Таунсенд ожидает, что со временем будет раскрыто ещё больше ошибок.

Затем началась Драма с уравнениями Навье-Стокса в сентябре, когда математик Тристан Баккстер утверждал, что OpenAI использовала метод, который он и его коллега уже разрабатывали, в то время как лаборатория AI заявляла, что её модель решила проблему Навье-Стокса.

OpenAI отвергла это утверждение.

Ещё два результата и три стратегии публикации

ETH был одним из трёх утверждений, сделанных OpenAI в том же объявлении.

В области математики OpenAI сообщает, что её модели доказали локальную гипотезу о сглаживании, предложенную Кристофером Соггом в 1991 году, для любой размерности, что также подтвердило бы гипотезы Какеи и Штейна об ограничениях. Лаборатория опубликовала статью и формальное доказательство на языке Lean.

В физике говорится, что модели доказали существование некоторых квантовых теорий поля в четырех измерениях, включая часть задачи тысячелетия от Математического института Клэя. Группа под руководством лауреата Нобелевской премии Дэвида Гросса решила пока не раскрывать материалы ИИ и опубликовать результаты работы.

OpenAI заявляет, что не претендует на академическое признание и выделила 5 миллионов долларов Фонду Саймонса для проведения семинаров по результатам, полученным с помощью ИИ. Компания признает, что каждый из трех ее подходов к выпуску имеет свои компромиссы, и просит обратную связь о том, что работает лучше всего.