OpenAI заявляет, что её ИИ-модель опровергла гипотезу об экспоненциальном времени27.10.2026 01:30

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

В блоге OpenAI отметила, что гипотеза об экспоненциальном времени (ETH) «считалась верной практически всеми». Гипотеза касается того, насколько сложно решить задачу выполнимости булевых формул, тесно связанную с проблемой P против NP. Исследователи использовали её, чтобы показать, что задачи в теории графов, вычислительной биологии, базах данных и других областях невозможно быстро решить.

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

Учёные, предложившие ETH, проверят опровержение

Группа под руководством Рассела Импальяццо и Рамамохана Патури из Калифорнийского университета в Сан-Диего и Райана Уильямса из MIT проверит и разъяснит результат. Импальяццо и Патури впервые сформулировали ETH вместе с Фрэнсисом Зейном.

Внутренняя модель OpenAI предложила предполагаемое опровержение ETH! Рассела Импальяццо, Мохана Патури и меня попросили помочь организовать открытую и независимую проверку этого утверждения. ¼

Ryan Williams @rrwilliams.bsky.social (@rrwilliams) 26 октября 2026 г.

В открытом письме к коллегам трое исследователей подчеркнули, что их участие не означает одобрения.

«Наше участие не следует расценивать как подтверждение этого утверждения. Результат такой значимости требует тщательной и независимой проверки», — написали Импальяццо, Патури и Уильямс.

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

Доказательство в математике и доказательство в физике

В математике, по словам OpenAI, её модели доказали гипотезу о локальном сглаживании, выдвинутую Кристофером Соггом в 1991 году, во всех размерностях. Это также означало бы решение гипотезы Какеи и гипотезы Стейна об ограничении во всех размерностях. Математики доказали локальное сглаживание в двумерном случае в 2019 году, а гипотезу Какеи в трёхмерном — в 2025-м. OpenAI опубликовала описание модели и доказательство на Lean, как и в случае с 722 математическими работами, выпущенными 6 октября.

В физике, как утверждает OpenAI, её модели строго доказали существование некоторых квантовых теорий поля в четырёх измерениях. Среди них — квантовая хромодинамика, описывающая сильное взаимодействие между кварками и глюонами. Работа включает доказательство существования чистой теории Янга — Миллса, что является частью одной из задач тысячелетия Математического института Клэя. В сентябре OpenAI заявила, что не будет претендовать на премию за своё доказательство для уравнений Навье — Стокса.

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

Кому достанутся лавры

OpenAI утверждает, что не претендует на академическое признание за эти открытия. По её словам, признание за подготовленные разъяснения должны получить исследователи из каждой группы. Кроме того, компания выделила 5 млн долларов Фонду Саймонса на семинары и конференции, посвящённые результатам, полученным ИИ.

В своём письме трое специалистов по информатике задаются вопросом, как распределять заслуги, когда результаты первым находит ИИ. Они предупреждают, что признание может доставаться тем, кто публикуется первым или располагает самыми мощными инструментами, тогда как проверка и разъяснение работы будут цениться меньше. Схожие опасения математики высказали в июне в Лейденской декларации.

«Если утверждение верно, оно изменит важную часть теоретической информатики», — написали трое исследователей.

©  TheNextWeb.ru