陶哲轩在 Caltech 的演讲《Math 2.0》指出，传统数学长期建立在“证明稀缺”假设之上，而证明恰好具备三个特性——客观可验证、可数字化、数据量大且质量高，因此数学成为 AI 最易冲击的领域，如今正在进入“证明充裕”时代。但 AI 能力呈锯齿状，前沿问题大多依然未解；求解只是长期目标的代理指标，在证明充裕时代继续盲目优化求解反而有害。他判断走向 Math 2.0 的主要瓶颈不是技术或制度文化，而是想象力。
🔑 核心要点
Math 1.0 建立在证明稀缺假设之上。
证明客观可验证、可数字化、数据充足，最易被 AI 切入。
进入证明充裕时代，但 AI 能力呈锯齿状。
社交媒体上的求解展示存在严重报告偏差。
继续盲目优化解题已对数学长期健康有害。
瓶颈不是技术或制度，而是想象力。
💡 金句
The primary bottleneck to achieving "Math 2.0" is not technology, or even institutional culture. It is imagination.