待验证50% 置信事实精确时间

AI的证明使用了无限类域塔和Golod-Shafarevich理论等代数数论工具，将代数数论思想引入了平面几何中的单位距离问题

1

来源数

50%

置信度

中期 (~90 天)

时效性

2026/7/2

首次发现

有效期至：2026/9/30

来源

OpenAI攻克埃尔德什单位距离猜想：AI首次独立反驳80年数学难题

bilibiliAI技术投降派2026/6/6

相关事实

待验证在纽结理论中，AI发现了双曲体积与代数不变量之间此前未知的函数关系71% 相似待验证AI在解决困扰学界60年的埃尔多斯1196号本原集猜想时，引入了原本用于素数研究的冯·曼戈尔特函数64% 相似待验证AI帮助发现Kazhdan-Lusztig多项式的组合结构规律，该发现后来被Geordie Williamson等人严格证明62% 相似待验证单位距离问题由匈牙利数学家Paul Erdős于1946年提出，属于组合几何领域62% 相似待验证陶哲轩与本·格林合作证明了'素数中存在任意长的等差数列'的格林-陶定理61% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/51613

API

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

MCP

get_claim(id=51613)