Article
OpenAI announced AI three scientific breakthroughs involving mathematical conjectures, computer algorithms, and a Millennium Prize Problem
BlockBeats reported that October 27,OpenAI announced that its AI model had achieved three major breakthroughs in mathematics, computer science, and physics, demonstrating AI ability to independently discover and prove complex scientific theories, rather than merely answer questions or assist research.
In mathematics,AI proved the local smoothing conjecture applicable to all dimensions (which studies how long energy concentration can persist in phenomena such as waves), thereby resolving the Kakeya conjecture (which studies the minimum amount of space required for a needle to turn in all directions within a finite space) and the Stein restriction conjecture (a mathematical problem concerning complex patterns of wave motion).
In computer science,AI disproved the widely accepted exponential-time hypothesis (the belief that some complex computational problems inevitably require computational effort to increase sharply with scale), meaning that faster algorithms may be found in the future.
In physics,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 acting between elementary particles), involving one of the world’s seven Millennium Prize Problems.OpenAI stated that the mathematics and computer science results had been formally verified using the Lean mathematical verification tool, and that the proof materials had been made public; the physics results are being reviewed by experts including Nobel laureates in physics. The relevant results still require further independent confirmation by the academic community.
Original link https://m.theblockbeats.info/flash/373812