Research
The Yang-Mills Publicity Stunt
Not Even Wrong · By woit ·
The Brief
- The shepherds of the claimed OpenAI Yang-Mills proof released its Lean code, along with a validation and an assessment.
- The OpenAI press release of October 26 claimed to have proved existence of quantum chromodynamics and completions of the Standard Model.
- The source is a single blog post by Peter Woit, which frames the episode as a publicity stunt.
Why it matters
The release of formal Lean code lets readers check the claimed proof directly, which bears on how much weight to give AI-generated claims about a Millennium Prize problem.
Who’s affected
- mathematicians and physicists interested in quantum field theory
- readers following AI-assisted mathematics claims
- #yang-mills
- #lean
- #formal verification
- #openai
- #quantum chromodynamics
The “shepherds” of the OpenAI Yang-Mills proof yesterday released the Lean code of the proof , together with a validation and an assessment . The OpenAI press release of October 26 claimed to have proved “Existence of quantum chromodynamics and completions of the Standard Model”…
Timeline
OpenAI press release claims a proof of existence of quantum chromodynamics and completions of the Standard Model
Shepherds of the OpenAI Yang-Mills proof release the Lean code, a validation and an assessment
Not Even Wrong
The Yang-Mills Publicity Stunt