OpenAI model completes half of the Yang-Mills existence and mass gap proof

ChainCatcher report, according to a post by MTS, OpenAI’s AI model has proven half of the million-dollar Millennium Prize problem in physics, supported by a review panel led by a Nobel laureate. MTS identifies the problem as the Yang-Mills problem. OpenAI first disclosed the proof on October 26, stating that its model completed the work in September. The review panel is chaired by Nobel laureate David Gross and includes Arthur Jaffe, who co-authored the official statement of the Millennium Prize problem. The proof has been formalized in the computer-verifiable language Lean. The Yang-Mills problem is one of the seven Millennium Prize Problems established in 2000, each carrying a $1 million prize; the only one solved to date was resolved by Grigori Perelman, who declined the prize. MTS notes that to claim the award, the mass gap must still be proven, and the solution must meet the Clay Mathematics Institute’s requirements regarding publication and a two-year verification period. X user Theo Jaffee stated that physicists have long been able to work with quantum field theory and quantum Yang-Mills theory empirically, but have lacked a mathematical formalization explaining why the theory holds.