OpenAI’s models disprove the Exponential Time Hypothesis and prove Yang–Mills existence
Three results, each formalized in Lean. In complexity theory, a refutation of the Exponential Time Hypothesis: 3SAT can be solved in subexponential time, overturning a conjecture that hundreds of hardness results rest on. In physics, an existence proof for quantum chromodynamics and a unified completion of the Standard Model, which includes pure Yang–Mills existence, part of a Clay Millennium Prize problem. In mathematics, a proof of Sogge’s local smoothing conjecture in every dimension, which settles the Kakeya and Stein restriction conjectures too.
OpenAI asked outside experts to shepherd each result and claims no academic credit. The ETH group is led by Russell Impagliazzo and Ramamohan Paturi, two of its original proposers, with Ryan Williams; its proof and Lean code are public. David Gross leads the physics group, which is holding back the AI’s artifacts to write the work up itself. The math proof came out the same way as the October 6 release.
NotesReactions

















