已过期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(已过期)
来源
相关事实
待验证单位距离问题由匈牙利数学家Paul Erdős于1946年提出，属于组合几何领域66% 相似待验证雪铁龙的数学家Paul de Casteljau独立提出了等价于贝塞尔曲线的算法，但因商业保密原因未能及时发表59% 相似待验证怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设57% 相似待验证2025年9月8日，纽约大学数学家特里斯坦·巴克马斯特公开了三项借助AI完成的流体方程研究成果，并在一份四页声明中披露OpenAI研究人员告诉他其内部模型生成了纳维–斯托克斯方程带光滑外力的有限时间爆破证明57% 相似待验证AI在解决困扰学界60年的埃尔多斯1196号本原集猜想时，引入了原本用于素数研究的冯·曼戈尔特函数56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/50579API
curl https://kongchang.com/api/v1/knowledge/claims/50579MCP
get_claim(id=50579)