Первый результат связан с гипотезой о локальном сглаживании, сформулированной математиком Кристофером Согге в 1991 году. Она описывает поведение волн и, в частности, предполагает, что наиболее сильная фокусировка не может сохраняться долго. OpenAI заявляет, что ее модели доказали эту гипотезу во всех измерениях. Из этого также следуют решения гипотез Какея и Штейна, связанных с фундаментальными вопросами математического анализа. Компания опубликовала доказательство, включая версию, формализованную на языке Lean, который позволяет автоматически проверять математические рассуждения.
Второй результат касается гипотезы экспоненциального времени — одного из важных предположений теоретической информатики. Она связана со сложностью решения задач выполнимости булевых формул и используется в исследованиях вычислительной сложности. По заявлению OpenAI, ее система нашла опровержение этой гипотезы, а доказательство удалось формализовать в Lean. Если вывод подтвердится, он может изменить представления о том, насколько быстро можно решать некоторые вычислительные задачи. Однако практические алгоритмы, использующие этот результат, еще предстоит разработать.
Третье направление связано с квантовой физикой. OpenAI заявляет, что получила математически строгое доказательство существования определенных взаимодействующих квантовых теорий поля в четырех измерениях. Среди них — квантовая хромодинамика, описывающая сильное взаимодействие между кварками и глюонами, а также более широкие конструкции, связанные со Стандартной моделью физики элементарных частиц. Работа затрагивает и теорию Янга — Миллса, задача о строгом математическом обосновании которой входит в список проблем тысячелетия Института Клэя.
Для изучения результатов OpenAI привлекла внешних специалистов. Математические доказательства опубликованы для открытого анализа, в информатике создана группа экспертов, а материалы по физике пока не раскрывают полностью: исследователи намерены самостоятельно подготовить изложение работы. Компания также обещала финансировать дальнейшее изучение результатов и обсуждение их последствий.
Заявления OpenAI пока не следует воспринимать как окончательное подтверждение пересмотра научных теорий. Публикация доказательства, в том числе его формализация, — важный этап, но научному сообществу необходимо проверить предпосылки, ход рассуждений и то, какие именно выводы из них следуют. Самостоятельная оценка специалистов поможет определить, насколько результаты действительно меняют существующие представления.
Читайте также: OpenAI нашла скрытые каналы связи между изолированными ИИ-агентами