待验证60% 置信事件精确时间

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

来源数

60%

置信度

中期 (~90 天)

时效性

2026/7/2

首次发现

有效期至：2026/9/30

来源

OpenAI Cracks Erdős Unit Distance Conjecture: AI Independently Disproves 80-Year-Old Math Problem for the First Time

bilibiliAI技术投降派2026/6/6

相关事实

待验证单位距离问题由匈牙利数学家Paul Erdős于1946年提出，属于组合几何领域66% 相似待验证怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设57% 相似待验证AI在解决困扰学界60年的埃尔多斯1196号本原集猜想时，引入了原本用于素数研究的冯·曼戈尔特函数56% 相似待验证在纽结理论中，AI发现了双曲体积与代数不变量之间此前未知的函数关系54% 相似待验证AI的证明使用了无限类域塔和Golod-Shafarevich理论等代数数论工具，将代数数论思想引入了平面几何中的单位距离问题54% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/50579

API

curl https://kongchang.com/api/v1/knowledge/claims/50579

MCP

get_claim(id=50579)