⚡️️️️️️️ OpenAI доказала существование квантовой теории Янга–Миллса Группа физиков и математиков проверила доказательство, полученное моделью OpenAI. Оно показывает, как построить четырёхмерную квантовую теорию Янга–Миллса, которая лежит в основе описания сильного взаимодействия в Стандартной модели. Если упростить, доказательство начинается с теории на решётке и показывает, что при уменьшении шага решётки можно получить непрерывную теорию. Это часть задачи тысячелетия с призом $1 млн. Второе требование Института Клэя остаётся открытым: нужно доказать положительную массовую щель, то есть что для возбуждения системы из вакуума требуется ненулевая минимальная энергия. Заключение группы датировано 10 ноября, а 11 ноября исходники доказательства на Lean 4 выложили на GitHub. Это около миллиона строк. Lean проверил формальный вывод, а исследователи проверяли, что определения и утверждения в коде соответствуют физической задаче. Полный разбор аргумента на обычном математическом языке ещё продолжается. https://github.com/yang-mills-group/YM/tree/main/submissions/openai-20261028