OpenAI заявила, что ИИ опроверг одну из основ информатики
Проверять опровержение будут два автора самой гипотезы, и они заранее предупредили, что их участие не означает подтверждения.
Фото: OpenAI
OpenAI 26 октября объявила, что её модели получили три новых научных результата. Главный из них — опровержение гипотезы экспоненциального времени (ETH), на которую опираются сотни работ по теоретической информатике. Ещё два результата касаются математического анализа и квантовой теории поля. Независимой проверки ни один из них пока не прошёл.
Какая именно модель нашла доказательства, OpenAI не уточняет. Компания называет её внутренней и публикует работы как «сырые исследовательские данные», а не как готовые научные статьи. Научного авторства для своих моделей OpenAI не требует.
Гипотеза экспоненциального времени
ETH утверждает, что задачу выполнимости булевых формул нельзя решить заметно быстрее, чем за экспоненциальное время. Проще говоря, для таких задач нет коротких путей в обход перебора. На этом допущении строятся доказательства сложности задач в теории графов, вычислительной биологии и базах данных.
По данным OpenAI, модель нашла опровержение 16 октября. На следующий день его формализовали в Lean, это язык, в котором правильность доказательства проверяет компьютер. Текст и Lean-доказательство выложены на GitHub.
Проверку возглавят Рассел Импальяццо и Рамамохан Патури из Калифорнийского университета в Сан-Диего и Райан Уильямс из MIT. Импальяццо и Патури вместе с Фрэнсисом Зейном сами предложили ETH. В открытом письме учёные написали: «Наше участие не следует воспринимать как подтверждение этого утверждения». По их словам, если результат верен, он изменит важную часть теоретической информатики.
Группа не подписывала соглашений о неразглашении и не получает денег от OpenAI. Компания по её просьбе обязалась открыть все исходные данные и оплатить конференцию, где сообщество обсудит находку.
Математика и физика
В математике модели OpenAI, по заявлению компании, доказали гипотезу локального сглаживания, которую математик Согге сформулировал в 1991 году, во всех размерностях. Из этого следуют гипотеза Какейи и гипотеза Стейна об ограничении, тоже во всех размерностях. Раньше локальное сглаживание удалось доказать только в двух измерениях, а гипотезу Какейи — в трёх, это сделали в 2025 году математики Ван и Заль.
Третий результат — строгое доказательство существования ряда четырёхмерных квантовых теорий поля, включая квантовую хромодинамику. Сюда входит теория Янга — Миллса, существование которой — часть одной из задач тысячелетия Института Клэя. OpenAI заявила, что на премию претендовать не будет. Этот результат изучает группа нобелевского лауреата Дэвида Гросса, в которую входят Майкл Дуглас, Артур Джаффе, Игорь Клебанов и Никита Некрасов. Материалы ИИ группа пока не публикует и опишет работу сама.
Кроме того, OpenAI выделила $5 млн фонду Simons Foundation на семинары и конференции о результатах, полученных ИИ. Учёные из группы по ETH предупреждают, что такие находки ставят вопрос о научной заслуге: признание может доставаться тем, у кого мощнее инструменты, а не тем, кто проверяет и объясняет работу. На этой неделе компания выпустила и модель GPT-6.1 Terra.
Источники: OpenAI — о трёх научных результатах, TNW — о проверке опровержения ETH
