Expired50% confidenceFactExact time
Princeton mathematics professor Will Sawin subsequently refined the AI's result, proving that one can take delta = 0.014.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
7/2/2026
First Seen
Valid until: 9/30/2026(expired)
Sources
OpenAI Cracks Erdős Unit Distance Conjecture: AI Independently Disproves 80-Year-Old Math Problem for the First Time
bilibiliAI技术投降派6/6/2026
Related Claims
UnverifiedPrinceton mathematics professor Will Sawin improved upon the AI's result, proving that Delta=0.014 can be achieved, advancing the improvement from sub-polynomial to polynomial.84% similarUnverifiedAI在解决困扰学界60年的埃尔多斯1196号本原集猜想时，引入了原本用于素数研究的冯·曼戈尔特函数57% similarUnverifiedStanford scholars evaluated AI's proof of Erdős conjecture No. 1196 as 'among the first AI proofs with long-term academic value'.56% similarUnverified在纽结理论中，AI发现了双曲体积与代数不变量之间此前未知的函数关系52% similarUnverifiedChurch-Turing论题推论表明lambda演算与图灵机在计算能力上完全等价52% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/50585API
curl https://kongchang.com/api/v1/knowledge/claims/50585MCP
get_claim(id=50585)