OpenAI заявила о трёх крупных научных открытиях, сделанных искусственным интеллектом
Компания OpenAI объявила о трёх потенциально значимых научных результатах, полученных с помощью её моделей искусственного интеллекта. Они касаются фундаментальных проблем математики, теории вычислений и квантовой физики, над которыми исследователи работают десятилетиями. По утверждению компании, ИИ удалось построить доказательства, способные изменить существующие представления в этих областях. Однако окончательные выводы пока делать рано: результаты ещё предстоит независимо проверить и оценить научному сообществу.
Первый результат связан с гипотезой локального сглаживания, предложенной математиком Кристофером Согге в 1991 году. Она описывает особенности распространения волн и ограничения на концентрацию их энергии. OpenAI утверждает, что её модели доказали гипотезу для пространств любой размерности, начиная с двух. Из полученного результата также следуют решения известных проблем Какеи и ограничения Фурье Стейна, имеющих большое значение для математического анализа. Доказательство было получено 18 октября 2026 года, а на следующий день переведено в систему формальной проверки Lean.
Второе заявление может оказаться особенно важным для информатики. Модели OpenAI предложили опровержение гипотезы экспоненциального времени (ETH), согласно которой некоторые задачи проверки выполнимости логических формул невозможно решать за существенно меньшее, чем экспоненциальное, время. Эта гипотеза используется при оценке вычислительной сложности множества задач, включая проблемы теории графов, биоинформатики и баз данных.
Согласно опубликованным материалам, ИИ предложил алгоритм, способный подсчитывать решения определённого класса логических задач за субэкспоненциальное время. Если доказательство окажется корректным, это опровергнет ETH и потребует пересмотра ряда теоретических оценок сложности вычислений. При этом результат не означает решения знаменитой проблемы P против NP и сам по себе не гарантирует появления более быстрых программ для практических задач. Полученное 16 октября доказательство было формализовано в Lean на следующий день.
Третья работа затрагивает математические основы квантовой теории поля. OpenAI заявляет, что её модели получили строгие доказательства существования некоторых взаимодействующих квантовых теорий в четырёхмерном пространстве-времени, включая квантовую хромодинамику — теорию сильного взаимодействия кварков и глюонов. В работу также входит доказательство существования чистой теории Янга — Миллса, связанной с одной из семи задач тысячелетия Института математики Клэя. Однако это не означает полного решения знаменитой проблемы: для него необходимо также доказать наличие массовой щели, чего представленное заявление не предусматривает.
Для независимой оценки результатов OpenAI привлекла ведущих специалистов. Проверкой работы по теории вычислений займутся Рассел Импальяццо и Рамамохан Патури из Калифорнийского университета в Сан-Диего совместно с Райаном Уильямсом из Массачусетского технологического института. Исследования по квантовой физике будет координировать группа под руководством нобелевского лауреата Дэвида Гросса. При этом математическое и вычислительное доказательства уже находятся в открытом доступе, тогда как материалы по квантовой теории поля пока не опубликованы.
Представители OpenAI подчёркивают, что компьютерная проверка в Lean не заменяет независимого научного анализа. Специалистам необходимо убедиться, что формализованные утверждения действительно соответствуют исходным гипотезам и что полученные результаты не содержат скрытых ограничений. Если выводы подтвердятся, это станет важным свидетельством способности искусственного интеллекта не только помогать учёным с вычислениями, но и самостоятельно находить новые фундаментальные математические результаты.