陶哲轩加州理工演讲：数学进入证明充沛时代

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

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。