Модель OpenAI завершила половину доказательства проблемы Янга — Миллса

ChainCatcher сообщает, что, согласно публикации MTS, искусственный интеллект OpenAI частично решил одну из семи задач тысячелетия с призом в один миллион долларов в области физики, и это подтверждено экспертной комиссией во главе с лауреатом Нобелевской премии. MTS утверждает, что речь идет о проблеме Янга — Миллса. OpenAI впервые объявила об этом доказательстве 26 октября и сообщила, что модель завершила работу в сентябре. Экспертная комиссия возглавляется лауреатом Нобелевской премии Дэвидом Гроссом и включает Артура Жаффа, совместно сформулировавшего официальное описание проблемы тысячелетия. Доказательство было формализовано на компьютерном языке Lean, позволяющем проверить каждый шаг. Проблема Янга — Миллса — одна из семи задач тысячелетия, учрежденных в 2000 году, каждая из которых имеет приз в один миллион долларов; на данный момент единственной решенной задачей является гипотеза Пуанкаре, решенная Григорием Перельманом, который отказался от премии. MTS отмечает, что для получения премии необходимо доказать наличие массового зазора и выполнить правила Клайевского математического института, включая публикацию и двухлетний период признания. Пользователь X Тео Жаффе заявил, что физики уже могут эмпирически работать с квантовой теорией поля и квантовой теорией Янга — Миллса, но до сих пор отсутствовало математическое формализованное обоснование этой теории.