陶哲轩宣布改变工作习惯：AI让数学证明不再稀缺

菲尔兹奖得主陶哲轩最近做了一个决定，在数学圈引起了不少讨论。

他在斯坦福大学发表演讲后宣布：不再试图实时跟进所有新证明。理由是AI生成数学证明的速度，已经远远超过人类消化证明的速度。数学，正在被自己的产出撑爆。

证明稀缺时代结束了

陶哲轩在演讲中抛出一个判断：数学正在经历其他科学领域早已经历的革命——从"证明稀缺"进入"证明丰裕"时代。

过去几千年，数学的核心矛盾是"证明太少"。一个漂亮的证明是稀缺品，值得反复品味、细细咀嚼。数学家们花几个月甚至几年时间打磨一个证明，是常态。

但现在，AI可以在几秒钟内生成看似合理的证明链条。问题是这些证明不一定正确——AI会"幻觉"，会在复杂推理中出现逻辑跳步。但它的速度太快了，多到根本来不及验证每一条。

数学家的新困境

陶哲轩的应对策略是：选择性放弃。

不是放弃数学，而是放弃"必须知道所有新证明"这个执念。他的新工作流程是：AI负责生成和初步筛选，人类负责判断哪些证明值得深入研究、哪些可以暂时忽略。

这听起来像是妥协，但实际上是一种进化。就像搜索引擎出现后，没人再要求学者记住所有文献的出处。工具在变，工作方式必然要变。

对普通人的启示

陶哲轩的转变对普通AI用户有什么启示？

首先，不要试图与AI比速度。AI生成内容的速度只会越来越快，人的消化能力是有限的。

其次，筛选能力比记忆能力更重要。当信息过载时，能够判断什么值得看、什么可以略过，这个能力越来越值钱。

第三，人机协作的新范式正在形成。不是AI取代人类，也不是人类指挥AI，而是找到各自最擅长的环节，协同工作。

写在最后

一个菲尔兹奖得主宣布改变工作习惯，不是因为他不行了，而是因为游戏规则变了。

这种主动求变的勇气，比固守旧地图更有价值。毕竟，地图不是领土，我们用来理解世界的模型，终究要跟着现实一起进化。