OpenAI Announces Three New AI Discoveries in Mathematics, Computer Science, and Physics

OpenAI says its models produced three new results: a proof of the local smoothing conjecture in every dimension, which would also resolve the Kakeya and Stein restriction conjectures; a Lean-verified proof that the Exponential Time Hypothesis is false; and a mathematically rigorous existence proof for quantum chromodynamics and a unified completion of the Standard Model, including pure Yang-Mills theory. The mathematics and computer science writeups and Lean formalizations are public, while the physics artifacts are being held back by its external collaboration group, which will write the work up itself. This matters because, if the claims withstand independent scrutiny, it would be a landmark moment for AI-driven science, but for now they remain OpenAI's claims being shepherded by outside experts, not independently confirmed results.

• Sam Altman2026-10-26 21:36