Рабочая группа Yang-Mills под руководством нобелевского лауреата Дэвида Гросса планирует опубликовать доказательство OpenAI для теории Янга — Миллса. Релиз кода Lean и результатов его проверки на двух репозиториях GitHub назначен на 10 ноября 2026 года.
OpenAI подготовила доказательство на естественном языке 9 сентября 2026 года, а формализацию на языке Lean завершила 16 октября 2026 года. В тот же день компания обратилась к Дэвиду Гроссу для формирования независимого комитета по оценке работы.
Эксперты сфокусировались на соответствии определений и формулировок доказательства общепринятым стандартам в математике и физике. В работе использованы методы ренормгруппы Балабана и решеточная регуляризация Вильсона.
Доказательство касается существования теории Янга — Миллса, которая является одной из «проблем тысячелетия» Института математики Клэя. При этом вопросы о массовой щели и конфайнменте остаются нерешенными.
