OpenAI заявила об опровержении ETH: научные результаты ИИ передают на независимую проверку

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

Почему ETH так важна

ETH описывает предполагаемые ограничения скорости решения определённых задач с булевыми формулами. На этой гипотезе основаны многие условные оценки сложности в информатике. OpenAI заявляет, что получила её опровержение и формализацию на языке Lean.

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

Математика и задача тысячелетия

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

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

За чем теперь следить

Следующий важный этап — независимые разборы: какие предпосылки используются, корректно ли формализована исходная задача и что именно следует из доказательств. Поэтому громкий заголовок об ИИ разумно читать вместе с оговорками, а не как сообщение о завершении всей научной проверки.

Первоисточник — OpenAI, объявление от 26 октября. Дополнительный контекст: 4PDA. Обложка создана с помощью ИИ.