OpenAI announced that AI has achieved three scientific breakthroughs
According to Jinshi Data, OpenAI announced three breakthroughs in its AI models 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 smoothness conjecture applicable to all dimensions, thereby resolving the Kakeya conjecture and the Stein restriction conjecture. In computer science, the AI overturned the long-accepted exponential time hypothesis, suggesting that faster algorithms may be found in the future. In physics, the AI proposed a rigorous mathematical existence proof for quantum chromodynamics and Yang-Mills theory, which involves one of the seven Millennium Prize Problems.
OpenAI stated that the achievements in mathematics and computer science have been formally verified using the Lean mathematical verification tool, and the proof materials have been made public; the achievements in physics are currently under review by experts, including Nobel Prize winners in Physics. Related results still require further independent confirmation from the academic community.