Учёные, которых OpenAI назначила проверить её последнее заявление о том, что одна из её внутренних моделей успешно опровергла гипотезу экспоненциального времени, отказались подтвердить это заявление. Они указали на прошлые скандалы вокруг математических анонсов лаборатории, которые, по их словам, обычно бывают преувеличены.
Гипотеза экспоненциального времени, которую, по заявлению лаборатории под руководством Альтмана, удалось опровергнуть, служит мерой сложности решения задачи о выполнимости булевых формул — задачи, связанной с вопросом P против NP и предположением, лежащим в основе сотен научных работ по информатике.
Райан Уильямс из MIT, Рассел Импальяццо и Рамамохан Патури из Калифорнийского университета в Сан-Диего возглавят группу, которой поручено независимо проверить результаты, связанные с гипотезой, первоначально предложенной Импальяццо и Патури совместно с Фрэнсисом Зейном.
Математическое сообщество не приняло заявление 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.
После массовой публикации 722 препринтов по 372 математическим задачам 6 октября OpenAI пришлось отозвать три работы в течение суток из-за ошибки со знаком, которая сделала неверным одно доказательство и ещё две зависимые от него статьи. Лаборатория ИИ внесла исправления ещё в 14 работ. Математик из Корнеллского университета Алекс Таунсенд ожидает, что со временем обнаружатся и другие ошибки.
Затем, в сентябре, разгорелся спор вокруг уравнений Навье—Стокса: математик Тристан Бакмастер заявил, что OpenAI использовала метод, над которым он и его коллега уже работали, когда лаборатория ИИ сообщила, что её модель решила задачу Навье—Стокса.
OpenAI отвергла это обвинение.
Ещё два результата, три стратегии публикации
Гипотеза ETH была одним из трёх заявлений OpenAI, прозвучавших в одном и том же анонсе.
В математике, по словам OpenAI, её модели доказали гипотезу о локальном сглаживании, выдвинутую Кристофером Согге в 1991 году, для всех размерностей. Это также позволило бы решить гипотезы Какеи и Стейна об ограничениях. Лаборатория опубликовала описание результата и доказательство на Lean.
В физике, по словам OpenAI, модели доказали существование некоторых квантовых теорий поля в четырёх измерениях, в том числе одного из элементов задачи, связанной с премией тысячелетия Математического института Клэя. Группа под руководством лауреата Нобелевской премии Дэвида Гросса решила пока не публиковать материалы ИИ и самостоятельно описать эту работу.
OpenAI заявляет, что не претендует на академическое признание, и выделила Фонду Саймонса 5 миллионов долларов на семинары, посвящённые результатам, полученным с помощью ИИ. Компания признаёт, что у каждого из трёх подходов к публикации есть свои компромиссы, и говорит, что хочет получить отзывы о том, какие из них работают.
Не просто читайте новости о криптовалютах — разбирайтесь в них. Подпишитесь на нашу рассылку. Это бесплатно.