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