Expired60% 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(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
Unverified单位距离问题由匈牙利数学家Paul Erdős于1946年提出，属于组合几何领域66% similarUnverified雪铁龙的数学家Paul de Casteljau独立提出了等价于贝塞尔曲线的算法，但因商业保密原因未能及时发表59% similarUnverified怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设57% similarUnverifiedOn September 8, 2025, New York University mathematician Tristan Buckmaster publicly released three AI-assisted research results on fluid equations, and in a four-page statement disclosed that OpenAI researchers told him their internal model had generated a finite-time blow-up proof for the Navier-Stokes equations with smooth external force.57% similarUnverifiedAI在解决困扰学界60年的埃尔多斯1196号本原集猜想时，引入了原本用于素数研究的冯·曼戈尔特函数56% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/50579API
curl https://kongchang.com/api/v1/knowledge/claims/50579MCP
get_claim(id=50579)