待验证50% 置信事件精确时间
2023年，陶哲轩参与将Polynomial Freiman-Ruzsa猜想的证明形式化，整个过程在数周内完成
1
来源数
50%
置信度
中期 (~90 天)
时效性
2026/9/10
首次发现
有效期至：2026/12/9
来源
涉及实体
相关事实
已验证2023年底陶哲轩与合作者利用Lean和LLM辅助证明了多项式Freiman-Ruzsa猜想的一个重要特例75% 相似待验证2023年Terence Tao团队对多项式Freiman-Ruzsa猜想完成了形式化证明74% 相似待验证2023年陶哲伦等顶级数学家已开始使用Lean来形式化重要定理61% 相似待验证肯尼斯·里贝特在1986年基于格哈德·弗莱的工作建立了弗莱-里贝特定理，证明了谷山-志村猜想蕴含费马大定理58% 相似待验证傅里叶神经算子（FNO）由Zongyi Li等人于2020年提出，学习的是无穷维函数空间之间的映射，能以比传统数值方法快数个数量级的速度求解偏微分方程56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/886999API
curl https://kongchang.com/api/v1/knowledge/claims/886999MCP
get_claim(id=886999)