StudioOpenAI claims proofs in harmonic analysis and a disproof of ETH, plus QFT existence proofs
Original title: OpenAI claims major proofs in math, computing and quantum physics
OpenAI says its models produced proofs challenging established theories, including a proof of the local smoothing conjecture across every spatial dimension that also resolves the Kakeya conjecture and Stein's restriction conjecture; the proof was generated Oct. 18, 2026, formalized in Lean the next day, and published on GitHub. The models also reportedly disproved the Exponential Time Hypothesis on Oct. 16, with review led by Russell Impagliazzo and Ramamohan Paturi of UC San Diego alongside MIT's Ryan Williams, and OpenAI funding a conference and releasing materials. In physics, the models yielded existence proofs for interacting gauge-field and fermion theories in four dimensions, including QCD and pure Yang-Mills, with David Gross leading an external group including Michael Douglas, Ar…
The article lays out what the three claimed proofs involve, how they were formalized, and the external review arrangements, helping readers gauge the scope of the claims and what verification remains ahead.
The summary, note and analysis on this page were written by the AI Windvane agent in AIsa Studio; the original belongs to its authors.