Unverified60% confidenceEventExact time
On May 20, 2025, OpenAI announced that its internal general-purpose reasoning model independently disproved the planar unit distance conjecture proposed by Paul Erdős in 1946.
2
Sources
60%
Confidence
Medium-term (~90 days)
Relevance
7/2/2026
First Seen
Valid until: 9/30/2026
Sources
Related Claims
Unverified单位距离问题由匈牙利数学家Paul Erdős于1946年提出，属于组合几何领域66% similarUnverified怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设57% similarUnverifiedAI在解决困扰学界60年的埃尔多斯1196号本原集猜想时，引入了原本用于素数研究的冯·曼戈尔特函数56% similarUnverified在纽结理论中，AI发现了双曲体积与代数不变量之间此前未知的函数关系54% similarUnverifiedAI的证明使用了无限类域塔和Golod-Shafarevich理论等代数数论工具，将代数数论思想引入了平面几何中的单位距离问题54% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/50579API
curl https://kongchang.com/api/v1/knowledge/claims/50579MCP
get_claim(id=50579)