Wire flash
OpenAI says its AI model achieved three breakthroughs in math, computer science and physics
Editorial responsibility
- No named human review is recorded for this page.
- Source reporting is collected, normalized, translated or condensed automatically when needed.
- Automatically published source-backed update
OpenAI announced on October 27 that its AI model has achieved three major scientific breakthroughs, demonstrating the ability to independently discover and prove complex scientific theories rather than just answer questions or assist research. In mathematics, the AI proved the local smoothing conjecture for all dimensions, solving the Kakeya conjecture and the Stein restriction conjecture. In computer science, it overturned the widely accepted exponential time hypothesis, potentially enabling faster algorithms. In physics, it proposed rigorous mathematical existence proofs for quantum chromodynamics and Yang-Mills theory, the latter involving one of the seven Millennium Prize Problems. OpenAI stated that the math and computer science results have been formally verified using the Lean proof assistant and proofs are publicly available, while the physics results are under review by experts including Nobel laureates. The findings still require further independent academic confirmation.
Source report
October 27 — OpenAI has announced that its AI models have achieved three major breakthroughs across mathematics, computer science, and physics, demonstrating the ability of AI to independently discover and prove complex scientific theories—not merely answer questions or assist research.
Mathematics
In mathematics, the AI proved a local smoothing conjecture applicable to all dimensions, which concerns how long energy concentrations in phenomena such as waves can persist. This in turn resolved the Kakeya conjecture—which examines the minimum space required for a needle to rotate through all directions within a confined space—as well as the Stein restriction conjecture, a mathematical problem concerning complex wave patterns.
Computer Science
In computer science, the AI overturned the long widely accepted Exponential Time Hypothesis, which holds that certain complex computational problems cannot avoid computation times that grow sharply with scale—suggesting that faster algorithms may be found in the future.
Physics
In physics, the AI proposed rigorous mathematical existence proofs for Quantum Chromodynamics (the theory explaining how quarks combine to form particles such as protons and neutrons) and Yang–Mills theory (the mathematical theory describing the forces between fundamental particles), the latter involving one of the seven Millennium Prize Problems.
Verification and Review
OpenAI stated that the mathematics and computer science results have been formally verified using the Lean mathematical verification tool, with proof materials made public. The physics results are currently under review by experts including Nobel laureates in physics. The results still require further independent confirmation by the academic community.
Source
domesticNeutral / independent
Part of this Story
OpenAI claims AI model proved Kakeya conjecture and refuted ETH