OpenAI Announces Three Scientific Breakthroughs in AI

OpenAI announced three major breakthroughs by its AI models in mathematics, computer science, and physics—marking the first time an AI has independently discovered and rigorously proven complex scientific theories, far surpassing conventional question-answering or research-assistance capabilities. In mathematics, the model successfully proved the Local Smoothness Conjecture for arbitrary dimensions and, building on that foundation, resolved both the Kakeya Conjecture and the Stein Restriction Conjecture. In computer science, it overturned the long-held Exponential Time Hypothesis—a foundational assumption—opening entirely new pathways for designing more efficient algorithms. In physics, it constructed rigorous mathematical existence proofs for Quantum Chromodynamics (QCD) and Yang–Mills theory—a problem listed among the seven Millennium Prize Problems by the Clay Mathematics Institute. According to JIN10 Data, OpenAI has formally verified the mathematical and computer-science results using the Lean theorem-proving tool and has publicly released all proof materials.