陶哲轩警示数学百年危机：AI时代下的证明过剩与价值重构
在2026年国际数学家大会（ICM）的荣誉殿堂中，当王虹与邓煜凭借卓越的突破性成果摘得菲尔兹奖时，数学界无疑站在了近二十年来关注度与荣誉感的顶峰。然而，就在这股热潮尚未消退的24小时内，作为当代最杰出的数学家之一、且此前一直被视为人工智能乐观派的陶哲轩，却在同一会场内向全数学共同体发出了一声惊雷：数学正在经历一场百年未遇的“基础危机”。
这并非指代19世纪末罗素悖论或20世纪初哥德尔不完备定理所引发的关于逻辑地基的动荡，而是指向更为深层的“价值观危机”。陶哲轩的预警并非危言耸听，其背后依托的是一组令人不安的数据与严密的逻辑推演。他引用了独立评测平台First Proof的最新结果：在受控条件下，人工智能系统以极低的算力成本（每题10至1000美元），成功以“可发表质量”解出了10道研究级数学难题中的7道。这一数据不仅打破了关于AI数学能力的舆论迷雾，更迫使我们直面一个核心事实：解题本身，正在从人类独有的智力特权转变为可被计算资源批量生产的商品。
面对这一不可逆转的技术趋势，陶哲轩没有陷入“AI是否行”的情绪化争论，而是采取了一种极其数学化的处理方式——设定工作假设。他要求全场假设AI将在近期以合理成本完成大量研究级任务，并在此基础上重新审视数学研究的根本目标。这一策略的精妙之处在于，它将一个充满不确定性的技术预言，转化为一个可分析的元数学问题。当解题的能力被AI稀释，数学家存在的意义、数学知识的生产模式以及评价体系的公正性，都面临着前所未有的解构风险。
这种解构的核心机制，可以用经济学中的“古德哈特定律”来解释：当一个度量成为目标，它就不再是一个好的度量。在过去几个世纪中，数学研究的各项指标——如解决未解问题、发展新理论、培养人才、凝聚共同体等——往往是高度绑定在一起的。解决一个重大难题，通常能顺带推动理论发展并提升学术声誉。然而，生成式AI的介入打破了这种自然的绑定。AI天生具有“不接地气”的特性，且受商业激励驱动，容易在优化的过程中导致各目标之间出现脱钩。陶哲轩通过五个层级的推演，清晰地展示了这一过程。
第一层目标是“解决尽可能多的未解问题”。这在AI出现前就存在弊端，即可能导致大量错误证明的涌现。第二层目标增加为“解题并验证”。虽然Lean等证明助手加速了验证过程，但带来了“黑箱证明”的困境：AI生成了人类无法理解的超长证明，且无人愿意为其背书。这导致了数学真理与社会认知之间的断裂。
第三层目标进一步细化为“解题、验证并清晰传达”。陶哲轩指出了当前AI写作的致命缺陷：过度平滑、琐碎啰嗦且缺乏重点。这种“完美”反而阻碍了读者的深度思考。他引用1991年Bourgain论文页边那些充满情绪的手写批注——“I hate Jean Bourgain”，生动地说明了阅读障碍与智力摩擦在数学传承中的积极作用。真正的理解往往诞生于对难点的挣扎中，而非对丝滑文本的被动接受。
第四层与第五层目标分别指向“被共同体消化”与“纳入定论体系（正典化）”。这是数学知识从个人成果转化为集体智慧的关键通道。然而，这一过程依赖于人类编辑、审稿人及学界的志愿劳动与共识构建，无法被AI加速。当AI生成的证明洪流涌入这一缓慢的过滤系统时，整个数学界面临着严重的“阻抗失配”。
陶哲轩将这一现象命名为“证明消化不良”。长期以来，数学界的荣誉体系建立在“证明稀缺”的基础上，第一个发现者享有全部荣耀。但随着AI将证明转化为批量商品，数学界将进入“证明过剩”时代。旧的评估机制在海量、快速生成的内容面前迅速失效。如果处理不当，数学界可能陷入一种虚假的繁荣：看似成果井喷，实则真理淹没在噪声中，共同体共识难以达成。
面对这一百年危机，陶哲轩并未提供简单的技术解决方案，而是提出了一套伦理与制度重构的方案。他高度认可《莱顿人工智能与数学宣言》的核心原则，并提出了自己的经验法则：如果作者无法令人信服地证明，自己能对成果进行清晰、准确且归属得当的专家级报告，那么该成果不应发表。
这一准则的核心在于“可解释性”与“责任归属”。AI可以作为强大的辅助工具，用于探索思路、生成草稿或验证局部逻辑，但人类数学家必须承担最终的理性责任。数学不仅仅是符号的推演，更是人类思维的交流与共识的构建。如果一个人连自己的成果都无法向同行清晰阐述，那么该成果对数学共同体的贡献是存疑的。
此外，陶哲轩强调必须在教育与人才培养领域严格限制AI的使用，以保护人类数学直觉与创造力的根基。在其他研究领域，数学界应主动制定规则，而非被动接受科技公司产品逻辑的塑造。这种“不拒绝、不隐瞒、但由数学家主导规则”的态度，是应对技术冲击的理性姿态。
值得注意的是，陶哲轩在演示文稿中幽默地标注了所有破折号均为人类生成，同时坦诚幻灯片本身使用了AI进行文本补全。这种坦诚本身就是一种示范：在AI时代，透明比纯洁更重要。数学的基础从未因危机而动摇，相反，每一次对基础的反思都让数学的地基更加坚实。百年前的危机带来了公理化体系，而今天的价值观危机，有望催生一个更加包容、透明且以人类智慧为核心的人工智能协作时代。这场变革要求我们重新定义“理解”、“创造”与“真理”在数字时代的含义，而这正是数学作为人类理性最高形式，必须承担的使命。