OpenAI announces three scientific breakthroughs in AI, involving mathematical conjectures, computer algorithms, and Millennium Prize Problems.

October 27 - OpenAI announced that its AI models have achieved three major breakthroughs in the fields of mathematics, computer science, and physics, demonstrating the ability of AI to independently discover and prove complex scientific theories, rather than just answering questions or assisting research.

In mathematics, the AI proved the local smoothing conjecture applicable to all dimensions (studying how long energy concentrations in phenomena such as waves can persist), and thereby resolved the Kakeya conjecture (studying the minimum space required for a needle to turn in all directions within a finite space) and the Stein restriction conjecture (a mathematical problem studying complex wave patterns).

In computer science, the AI overturned the long widely accepted exponential time hypothesis (which holds that certain complex computational problems cannot avoid computation volume growing sharply with scale), implying that faster algorithms may be found in the future.

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), involving one of the seven Millennium Prize Problems in mathematics.

OpenAI stated that the mathematics and computer science results have been formally verified using the Lean mathematical verification tool, and the proof materials have been made public; the physics results are being reviewed by experts including Nobel laureates in physics. The related results still require further independent confirmation by the academic community.