36Kr Europe · English·· 5 小时前
陶哲轩“数学 2.0”演讲：AI 令数学界剧变，从证明稀缺到证明过剩
Proving the Big Bang, the entire mathematics community is upended, and AI has pushed Terence Tao to bring forth "Mathematics 2.0"
研究任务与主要进展
菲尔兹奖得主陶哲轩推迟一年的加州理工学院演讲改题为"Math 2.0"，指出数学已从数千年“证明稀缺”进入 AI 驱动的“证明过剩”时代。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出？
- 代码、模型、数据、许可与可用入口是否明确？
- 效果、总成本、失效条件与实际工作流如何验证？
这些是阅读核对问题；材料未说明的条件保留未知。请阅读原文核验。
来源：36Kr Europe · English · eu.36kr.com