9,470個の部品を機械が検算したOpenAIのヤン・ミルズ理論「構成」を、物理学者たちが評価した

OpenAIが10月26日に発表した純粋ヤン・ミルズ理論の存在証明を、物理グループの評価文書をもとに読み解く記事です。証明されたのは格子理論の極限として物理の公理を満たす理論を構成できることで、極限の一意性と質量ギャップは未証明です。Leanで検算されたのは命題が定義から導けることまでで、命題が問題を正しく表すかは別に確かめる必要があります。評価は査読前の最初の評価です。