Physicists led by David Gross validate OpenAI's AI-generated proof that quantum Yang-Mills theory exists
The five-member committee released the Lean code and an assessment saying it proves pure Yang-Mills exists under standard problem statements; the mass gap remains unsolved.
Why it matters
Yang-Mills is one of five unsolved Clay Millennium Prize Problems, each carrying a $1 million prize, and it has two parts: proving the theory exists and proving a mass gap. OpenAI claimed the existence part in late October, but kept the proof with a committee of shepherds instead of releasing it at once. The committee says it used OpenAI's Astra model to digest the Lean code and does not yet fully understand the proof. Mathematicians such as NYU's Scott Armstrong criticised the gatekeeping. Watch independent checks of the Lean code and any claim on the mass gap.
Key facts
- Committee: David Gross and four colleagues
- Lean code and assessment posted night of 10 Nov
- Proves pure Yang-Mills exists under standard problem statements
- Mass gap remains unresolved
- Committee: 'We do not claim to fully understand the proof yet'
- Yang-Mills is one of five unsolved Millennium Prize Problems ($1M each)