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