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

佩雷尔曼于2002-2003年在arXiv发布三篇论文概述使用里奇流及手术技术证明几何化猜想,验证过程耗时约三年,克雷数学研究所直到2010年才正式认定猜想被解决

1

来源数

50%

置信度

长期有效

时效性

2026/9/10

首次发现

来源

OpenAI称AI攻克纳维-斯托克斯方程千禧难题

涉及实体

格里戈里·佩雷尔曼person 克雷数学研究所company

相关事实

待验证2023年，陶哲轩参与将Polynomial Freiman-Ruzsa猜想的证明形式化，整个过程在数周内完成67% 相似待验证七道千禧年难题中仅庞加莱猜想于2003年由格里戈里·佩雷尔曼证明，其余六题至今未决66% 相似待验证Bass、Connell和Wright在1982年证明了只需验证三次多项式映射的情况即可推广到雅可比猜想的一般情况62% 相似待验证怀尔斯1993年提交费马大定理证明后被发现存在一处关键漏洞，涉及欧拉系统归纳步骤的隐含假设58% 相似待验证怀尔斯1993年提交费马大定理证明后被发现存在关键漏洞，花费近一年时间才完成修补58% 相似

引用此条事实

Stable URI

https://kongchang.com/claim/889966

API

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

MCP

get_claim(id=889966)