陶哲轩在加州理工的演讲中，亮出了二战那张著名的“幸存者偏差”飞机图。 社交媒体上，到处是 AI 刷题破纪录的战报。

陶哲轩在加州理工的演讲中，亮出了二战那张著名的“幸存者偏差”飞机图。 社交媒体上，到处是 AI 刷题破纪录的战报。 所有人都以为，这是数学的巨大胜利。 但陶哲轩指出，这只是一种报道偏差。

大家只看见了满身弹孔却侥幸飞回来的飞机。 他拿出了 27 页幻灯片，专门拆解 AI 正在对数学做什么。 人类数学几千年，一直建立在“证明稀缺”的基础之上。 而这个时代，彻底结束了。

过去需要顶级天才穷尽一生去啃的难题，规则变了。 只要算力管够，AI 可以批量解决大量公开问题。 陶哲轩给出了一个干脆的定论。 数学正在跨入一个“证明丰沛”的时代。

证明变得像自来水一样便宜，难道不是好事吗？ 没那么简单。 当证明不再稀缺，盲目卷做题，反而会反噬数学的长期发展。 那些全网刷屏的解题战报，不过是又一架飞回来的幸存飞机。