OpenAI заявила, что её модель опровергла гипотезу ETH

OpenAI заявила в понедельник, что её внутренняя модель опровергла гипотезу экспоненциального времени (Exponential Time Hypothesis, ETH). На этой гипотезе основаны сотни научных работ по информатике. В тот же день компания объявила ещё о двух результатах: в математике и в физике.

В блоге OpenAI отметила, что ETH «широко считалась верной». Гипотеза касается сложности задачи выполнимости булевых формул, тесно связанной с проблемой P против NP. На ней учёные строили доказательства того, что задачи из теории графов, вычислительной биологии, баз данных и других областей нельзя быстро решить. По данным компании, модель нашла опровержение 16 октября, а на следующий день оно было проверено в Lean, языке машинной верификации доказательств. Текст модели и доказательство на Lean опубликованы на GitHub.

Проверка и вопрос об авторстве

Результат будут проверять и разъяснять Рассел Импальяццо и Рамамохан Патури из Калифорнийского университета в Сан-Диего и Райан Уильямс из MIT. Импальяццо и Патури вместе с Фрэнсисом Зейном и предложили ETH. В открытом письме трое учёных подчеркнули: «Наше участие не следует считать подтверждением. Результат такого масштаба требует тщательной независимой проверки». Уильямс написал, что группа не подписывала соглашений о неразглашении и не получает оплаты. Она попросила OpenAI раскрыть все исходные данные и профинансировать конференцию для научного сообщества, и компания согласилась.

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

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

Учёные ставят вопрос о том, как распределять признание, если первым результат находит ИИ: оно может достаться тем, кто публикует первым или обладает самыми мощными инструментами, а проверка и объяснение останутся в тени. «Если утверждение верно, оно изменит важную часть теоретической информатики», — написали они.