Exponential Time Hypothesis proven false
The gist
OpenAI says its system produced a disproof of the Exponential Time Hypothesis, later formalized in Lean.
The preprint is not peer-reviewed, and experts are still checking the claim.
How it unfolded
- Sep 9, 2026OpenAI says its models produced an existence proof for QCD and a unified completion of the Standard Model, including pure Yang–Mills theory.
- Oct 16, 2026OpenAI says its system produced the natural-language disproof of the Exponential Time Hypothesis.
- Oct 17, 2026The ETH disproof was formalized in Lean.