Current outcome
OpenAI published a 67-page paper claiming its AI found a way around the 1999 Exponential Time Hypothesis, prompting both scientific scrutiny and confused reactions from crypto traders who mistook 'ETH' for Ethereum.
Progress timeline
3 material updates- #01
OpenAI宣布AI取得三项科学突破,涉及数学猜想、计算机算法及千禧年难题
OpenAI announced that its AI models independently proved major mathematical conjectures (including Kakeya and Stein restriction), overturned the exponential time hypothesis in computer science, and produced strict existence proofs tied to quantum chromodynamics and Yang–Mills theory, with the math and CS results formalized in Lean and the physics claims still under expert review.
Source evidence: theblockbeats · The Verge AI
- #02
OpenAI宣布破解ETH?但这个ETH指的是计算机领域重要猜想「指数时间假设」
OpenAI claims its AI model found a deterministic subexponential-time algorithm for exactly counting k-SAT solutions, verified in Lean, a result that would directly challenge the 25-year-old Exponential Time Hypothesis in computational complexity theory.
Source evidence: theblockbeats
- #03
OpenAI Proves ETH Is False, and Crypto Twitter Has Questions
OpenAI published a 67-page paper claiming its AI found a way around the 1999 Exponential Time Hypothesis, prompting both scientific scrutiny and confused reactions from crypto traders who mistook 'ETH' for Ethereum.
Source evidence: Decrypt