陶哲轩：数学2.0时代已至！
内容提要
陶哲轩提出“数学2.0”时代，认为AI使证明不再稀缺，冲击数学1.0评价体系。他警告AI能力不均与幸存者偏差，呼吁建立透明评估机制，重视理解、解释和知识整理，而非只奖励解题。他强调人类科学家的核心价值在于把关与理解，并指出AI时代读博仍可培养提出好问题等能力。
延伸解读
数学1.0评价体系为何受冲击
陶哲轩指出，数学1.0时代建立在证明稀缺之上，因此“谁最先解决什么问题”成为衡量贡献的重要方式。但AI正让证明变得泛滥，获取解答的门槛降低，传统评价体系受到冲击。这迫使数学界重新思考：在证明之外，什么才是数学家真正的护城河？
警惕AI能力的幸存者偏差
陶哲轩用飞机弹孔图提醒，AI在某些方向表现惊人，但在另一些方向仍不足。厂商往往只展示精挑细选的成功案例，大量失败尝试未进入公众视野。这种只统计成功的做法，无法回答成功率、资源消耗和人类参与程度等关键问题，因此需要更透明的评估机制。
证明之后：理解与知识整理更重要
陶哲轩将解题拆成五个阶段，其中最后一步——找到更自然的表述、连接其他知识、进入教材和工具箱——尤其缓慢，AI很难加速。如果只优化“解题”指标，可能导致“证明消化不良”。他主张减少对抢先生成证明的强调，增加对解释、评审和知识整理的重视。
AI时代读博的价值何在
面对AI快速生成论文，陶哲轩认为读博的关键不在于产出论文，而在于培养吸收困难材料、综合知识、提出好问题的系统能力。如果只为产出成果，读博必要性下降；但若想被训练成能啃硬问题、能综合知识、能提出好问题的人，读博仍有价值。这就像食物充裕后，人需自己学会运动。
Q&A
陶哲轩提出的“数学2.0”是什么意思？
陶哲轩认为，AI正在让数学证明变得泛滥，建立在证明稀缺之上的数学1.0时代即将落幕，数学将进入2.0时代。在数学1.0时代，证明稀缺，因此“谁最先解决了什么问题”成为衡量贡献的重要方式；而AI改变了这种环境，获取解答的门槛降低，数学界需要重新思考评价体系。
为什么数学特别容易受到AI的冲击？
陶哲轩归纳了三个相互叠加的条件：1. 证明可以被客观检验；2. 数学对象和推理过程高度可数字化；3. 大量高质量研究文献已经以数字形式存在。再加上前沿AI实验室的大量投入，数学迅速成为模型能力突飞猛进的核心战场。
陶哲轩为什么警告要警惕AI在数学领域的“幸存者偏差”？
陶哲轩指出，AI的能力并不均匀，在某些方向表现惊人，但在另一些方向仍然不足。AI厂商往往只展示精挑细选的成功案例，而大量失败的尝试没有进入大众视野。这种只统计成功的做法无法回答成功率、资源消耗和人类参与程度等关键问题。因此他呼吁建立更透明和科学的评估机制，把失败结果和AI算力成本一并纳入报告。
在AI时代，人类数学家的核心价值是什么？
陶哲轩认为，人类科学家的核心价值在于把关与理解。他用“癌症疗法实验”说明：即使AI能生成通过验证的答案，仍然需要有人判断它与现实世界中的目标是否一致。模型可以生成答案、验证推理、加速探索，但不能替人类把关。此外，数学证明的价值还需要解释、评审和知识整理，这些是AI很难加速的。
陶哲轩如何看待AI时代读博的必要性？
陶哲轩认为，AI时代读博有没有必要，关键不在于能不能产出论文，而在于培养出一套吸收困难材料、综合知识、以及提出好问题的系统能力。如果你希望读博所收获的不只是一纸论文，还有被训练成能啃硬问题、能综合知识、能提出好问题的人，那么读博当然仍有其价值；但如果只是为了产出成果，那么AI时代它的必要性确实正在下降。
陶哲轩对AI公司加速发展持什么态度？
陶哲轩在SAIR演讲中强烈批评AI公司无休止地加速，却对那之后会发生什么一无所知。他表示“简直是疯了，我们必须慢下来，完全没理由这么快，一点理由都没有！”他担心追逐短期目标可能以牺牲数学共同体的长期可持续性为代价。
陶哲轩提出的“数学2.0”主要瓶颈是什么？
在演讲结尾，陶哲轩把实现数学2.0的主要瓶颈归结为想象力。他认为，证明的供给正在发生改变，但如何利用这种变化，把理解、训练和探索一起向前推进，仍需要数学界共同作出选择。
