OpenAI Announces Major Scientific Breakthroughs Across Mathematics, Computer Science, and Physics
OpenAI announced that its AI models achieved three major scientific breakthroughs, including proving the local smoothing and Kakeya conjectures across all dimensions, refuting the Exponential Time Hypothesis, and providing a rigorous mathematical existence proof related to the Yang-Mills millennium problem. This milestone demonstrates AI's growing capability to independently discover and prove complex scientific theories rather than merely answering questions or assisting human research. It marks a paradigm shift where AI actively drives foundational research across mathematics, computer science, and theoretical physics. The math and computer science proofs have been formally verified using the Lean theorem prover, while the physics findings are currently undergoing peer review by prominent experts, including Nobel laureates. All natural language and formal proofs have been made publicly available on GitHub.
## BACKGROUND
The local smoothing and Kakeya conjectures are deep problems in harmonic analysis regarding wave behavior and set dimensions in Euclidean space. The Exponential Time Hypothesis (ETH) is a long-standing assumption in computational complexity theory regarding the difficulty of the 3-SAT problem, while the Yang-Mills existence and mass gap problem is one of the seven Clay Mathematics Institute Millennium Prize Problems.