OpenAI привлекла внешних экспертов для проверки трёх доказательств, полученных ИИ

OpenAI сообщила, что её внутренние ИИ-модели подготовили доказательства в математике, теории вычислительной сложности и квантовой теории поля. Среди заявленных результатов — опровержение гипотезы об экспоненциальном времени и доказательство существования некоторых четырёхмерных квантовых теорий поля. Выводы ещё требуют независимой проверки; одну из экспертных групп возглавил нобелевский лауреат по физике Дэвид Гросс.

OpenAI сообщила о трёх научных результатах, полученных её внутренними ИИ-моделями. Компания называет подготовленные материалы исходными исследовательскими данными, которые должны изучить и проверить независимые специалисты.

Математический результат касается гипотезы о локальном сглаживании волн. По утверждению OpenAI, модель доказала её для пространств любой размерности, что также должно подтверждать гипотезу Какеи и гипотезу Стейна об ограничении. Текст доказательства и его формализация на языке Lean опубликованы для открытой проверки.

В области теории вычислительной сложности система предположительно опровергла гипотезу об экспоненциальном времени (Exponential Time Hypothesis, ETH). На ней основаны условные оценки сложности во множестве работ по теории графов, вычислительной биологии, базам данных и другим направлениям. Результат проверит группа, в которую вошли предложившие ETH Рассел Импальяццо и Рамамохан Патури, а также профессор Массачусетского технологического института Райан Уильямс.

Третья работа заявляет математически строгое доказательство существования некоторых взаимодействующих квантовых теорий поля в четырёх измерениях, включая квантовую хромодинамику. Она охватывает существование чистой теории Янга — Миллса, но не решает вторую часть соответствующей задачи тысячелетия — проблему массовой щели. Проверкой займётся группа под руководством Дэвида Гросса, получившего Нобелевскую премию по физике 2004 года за исследования асимптотической свободы.

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