ChainCatcherがMTSの情報として伝えたところによると、OpenAIのAIモデルが、クレイ数学研究所のミレニアム懸賞問題7題の一つであるヤン＝ミルズ問題の半分を証明したという。ノーベル賞受賞者のデビッド・グロスが委員長を務め、問題の公式声明の共著者であるアーサー・ジャッフェも参加した審査委員会が、この研究を支持した。OpenAIは10月26日に初めて証明を公表し、モデルが9月に完成させたと述べた。証明は、行単位で検証できるコンピューター言語Leanで形式化された。2000年に設けられたこの問題には、賞金100万ドルが懸けられている。賞金を獲得するには、質量ギャップの証明に加え、同研究所が定める出版要件と2年間の認定要件を満たす必要がある。XユーザーのTheo Jaffeeは、物理学者たちは量子場理論と量子ヤン＝ミルズ理論を経験的に扱ってきたものの、なぜその理論が成り立つのかを説明する数学的形式化はできていなかったと述べた。