OpenAI claims AI solved three major math and physics problems
Briefing by News4U · First published
OpenAI says its AI proved the local smoothing conjecture in all dimensions, disproved the exponential time hypothesis, and showed the mathematical existence of quantum chromodynamics.
ITHome reported that OpenAI announced its AI model produced three claimed breakthroughs: proving the local smoothing conjecture in all dimensions, disproving the exponential time hypothesis, and showing the mathematical existence of quantum chromodynamics and a completion of the Standard Model. [1]
The outlet stated that the math and computer-science proofs were formally verified with Lean and posted on GitHub, while the physics result is under review by experts including Nobel laureate David Gross. [1]
Sources
- OpenAI 宣布斩获三项重大科学突破，涉及数学猜想、计算机算法及千禧年难题
ITHome · · Excerpt