Модель OpenAI или завершение половины доказательства задачи Янга-Миллса

Согласно сообщению MTS, искусственный интеллект OpenAI доказал одну из половин проблемы тысячелетия в области физики на миллион долларов, и это было поддержано жюри, возглавляемым лауреатом Нобелевской премии. MTS утверждает, что эта проблема известна как проблема Янга-Миллса. OpenAI впервые опубликовала соответствующее доказательство 26 октября и заявила, что ее модель завершила эту работу в сентябре. Жюри возглавляет лауреат Нобелевской премии Дэвид Гросс, в состав которого также входит Артур Джаффе, который совместно с другими авторами составил официальное изложение этой проблемы тысячелетия.

Соответствующее доказательство было формализовано с использованием проверяемого по строкам компьютерного языка Lean. Проблема Янга-Миллса является одной из семи задач тысячелетия, установленных в 2000 году, каждая из которых имеет приз в 1 миллион долларов; единственная решенная задача была выполнена Григорием Перельманом, который отказался от получения приза. MTS указывает, что для получения этой награды необходимо также доказать разрыв массы и удовлетворить правилам Института математических исследований Клея о публикации и двухлетнем периоде признания. Пользователь X Тео Джаффе отметил, что физики уже могут на эмпирическом уровне работать с квантовой теорией поля и квантовой теорией Янга-Миллса, но им всегда не хватало математической формализации того, почему эта теория работает.