Machine Heart

Oct 27, 2026 · Artificial Intelligence

OpenAI's AI Disproves 30-Year ETH Hypothesis, Solves Kakeya Conjecture

OpenAI announces three major AI-generated scientific breakthroughs: a potential disproof of the Exponential Time Hypothesis in theoretical computer science, a proof of the Local Smoothing and Kakeya conjectures in all dimensions, and rigorous existence proofs for 4D quantum field theories including QCD and Yang-Mills, each with Lean formalizations and distinct expert review processes.