待验证60% 置信事件精确时间
2023年，陶哲轩参与将Polynomial Freiman-Ruzsa猜想的证明形式化，整个过程在数周内完成
2
来源数
60%
置信度
中期 (~90 天)
时效性
2026/9/10
首次发现
有效期至：2026/12/9
来源
涉及实体
相关事实
已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例75% 相似待验证2023年Terence Tao团队对多项式Freiman-Ruzsa猜想完成了形式化证明74% 相似待验证数学界花费数年时间举办研讨会、撰写详解论文，才最终确认佩雷尔曼对庞加莱猜想的证明的正确性。68% 相似待验证佩雷尔曼于2002-2003年在arXiv发布三篇论文概述使用里奇流及手术技术证明几何化猜想,验证过程耗时约三年,克雷数学研究所直到2010年才正式认定猜想被解决67% 相似待验证陶哲轩曾公开主导将 Polynomial Freiman-Ruzsa 猜想的证明形式化进 Lean，并与全球数十名数学家协作完成64% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/886999API
curl https://kongchang.com/api/v1/knowledge/claims/886999MCP
get_claim(id=886999)