陶哲轩加州理工演讲：数学 2.0 到来，证明稀缺时代结束

陶哲轩在加州理工学院发表 Math 2.0 演讲，称 AI 正把数学从证明匮乏时代推入证明充沛时代，传统以解题为核心的评价体系已错位。他指出网上 AI 攻破数学难题的捷报属于幸存者偏差，当前数学前沿绝大多数核心问题仍未解决，AI 直接从问题跳到答案会跨过人类理解。Math 2.0 的实践包括用开源 AI 重构四色定理、ABC 猜想等证明，等式理论项目已判定超 2200 万个命题真伪。