**陶哲轩发布《数学2.0》演讲：AI终结证明稀缺时代**

_陶哲轩最新演讲：数学2.0来了，证明稀缺时代正在终结_

> 陶哲轩在加州理工学院的最新演讲《Math 2.0》中提出，随着机器辅助证明技术的成熟，数学证明的稀缺性正在消失，标志着数学研究进入由AI深度辅助的新阶段。

**来源信息**
- **来源**：机器之心：文章库（API）
- **分类**：行业
- **发布时间**：2026-10-11 20:27（北京时间）
- **原文**：[打开原文](https://www.jiqizhixin.com/articles/2026-10-11-2)