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

OpenAI announced that its AI model has achieved three major breakthroughs in the fields of mathematics, computer science, and physics, demonstrating AI's ability to independently discover and prove complex scientific theories, rather than merely answering questions or assisting research. In mathematics, the AI proved the local smoothing conjecture applicable to all dimensions, and thereby solved the Kakeya conjecture and the Stein restriction conjecture. In computer science, the AI overturned the long widely accepted exponential time hypothesis, meaning that faster algorithms may be found in the future. In physics, the AI proposed a rigorous mathematical existence proof for quantum chromodynamics and YangMills theory, involving one of the seven Millennium Prize Problems. OpenAI stated that the mathematics and computer science results have been formally verified using the Lean mathematical verification tool, and the proofs have been made public; the physics results are being reviewed with the participation of experts including Nobel Prize in Physics laureates. The relevant results still require further independent confirmation by the academic community.