Expired50% confidenceFactExact time
The AI's proof used tools from algebraic number theory such as infinite class field towers and Golod–Shafarevich theory, introducing algebraic number theory ideas into the unit distance problem in planar geometry.
1
Sources
50%
Confidence
Medium-term (~90 days)
Relevance
7/2/2026
First Seen
Valid until: 9/30/2026(expired)
Sources
Related Claims
Unverified在纽结理论中，AI发现了双曲体积与代数不变量之间此前未知的函数关系71% similarUnverifiedAI在解决困扰学界60年的埃尔多斯1196号本原集猜想时，引入了原本用于素数研究的冯·曼戈尔特函数64% similarUnverifiedAI帮助发现Kazhdan-Lusztig多项式的组合结构规律，该发现后来被Geordie Williamson等人严格证明62% similarUnverified单位距离问题由匈牙利数学家Paul Erdős于1946年提出，属于组合几何领域62% similarUnverifiedTerence Tao collaborated with Ben Green to prove the Green-Tao theorem, which states that the prime numbers contain arbitrarily long arithmetic progressions.61% similar
Cite This Claim
Stable URI
https://kongchang.com/claim/51613API
curl https://kongchang.com/api/v1/knowledge/claims/51613MCP
get_claim(id=51613)