Story perspectives
OpenAI posts Lean proofs for 4D Yang–Mills, QCD
By Drooid · · How we work
1 of 1
Story summary
- OpenAI says its AI models refuted the Exponential Time Hypothesis.
- OpenAI claims the AI proved the local smoothing conjecture and implied the Kakeya and Stein conjectures.
- The AI produced existence proofs for four-dimensional Yang–Mills and quantum chromodynamics theories.
- OpenAI posted the proofs on GitHub and formalized them in Lean on October 18-19.
- A physics panel chaired by Nobel laureate David Gross will assess the Yang–Mills and QCD existence proofs.