陶哲轩预警数学百年危机：AI时代证明过剩与价值重构
在2026年国际数学家大会（ICM）的聚光灯下，当王虹与邓煜凭借卓越成果斩获菲尔兹奖的消息引发全网热议时，另一位华人数学界泰斗陶哲轩却以截然不同的基调，向全球数学共同体敲响警钟。作为13岁获IMO金牌、31岁即摘得菲尔兹奖的传奇人物，陶哲轩的此次发言不仅代表了个人的学术见解，更折射出整个学科在人工智能技术迅猛发展背景下的深层焦虑与战略转型需求。他直言，数学正进入一个动荡时期，一场关于价值观与实践方式的基础危机正在蔓延，其深远程度不亚于百年前因罗素悖论和哥德尔不完备定理引发的第一次基础危机。
上一次数学界面对“危机”一词，是在20世纪初，逻辑地基的动摇迫使数学家建立了严格的公理化体系，从而奠定了现代数学的可信度。而此次陶哲轩所指的“危机”，其核心并非逻辑漏洞，而是“价值观的地基”出现了松动。在题为《AI时代的数学》的主题演讲中，陶哲轩没有陷入关于AI能否替代数学家的无休止争论，而是采用了一种严谨的数学思维模式：提出工作假设，进行逻辑推演。他要求在场学者暂时接受一个前提：AI将在未来以合理成本完成相当比例的研究级数学任务。基于这一假设，他试图厘清一个根本性问题：如果解题不再是人类的专属壁垒，数学研究的终极目标究竟是什么？
要回答这个问题，必须首先审视当前数学评价体系中的“古德哈特定律”陷阱。该定律指出，当一个度量指标成为目标时，它就不再是一个好的度量。在过去，数学研究的目标高度统一：解决难题、发展新理论、培养人才等目标相互绑定。然而，生成式AI的介入打破了这种平衡。AI擅长优化特定指标，却缺乏对数学本质的深刻理解。陶哲轩通过推演指出，若过度依赖AI优化，数学工作的各个环节将发生异化，形成一条充满阻抗失配的流水线。
这条流水线的第一步是生成证明。尽管First Proof等受控测试显示AI已能解决大量研究级问题，但“生成”仅是起点。第二步是验证，虽然形式化证明工具如Lean加速了这一过程，但“机器验证通过”不等于“人类理解”。陶哲轩敏锐地指出，当前已出现大量由AI生成且经机器验证正确的证明，却无人能口头阐述其逻辑。这种“黑箱定理”的存在，使得数学知识的传承链条出现断裂，数学家可能面临“拥有已验证定理却无法向同行解释”的荒诞局面。
更深层的危机在于第三步：表述与传达。AI生成的证明往往在语法和排版上完美无缺，但在逻辑连贯性和启发式指导上却存在致命缺陷。它们倾向于掩盖难点，使证明显得过于平滑，剥夺了读者在啃噬困难中构建认知的过程。陶哲轩引用其导师Jean Bourgain的手写笔记为例，强调人类表述中的“瑕疵”和艰难探索，实则是数学教育和思维训练的核心环节。成功的度量不应是抽象的定理生产配额，而应是能否促进人们更清晰、有效地理解数学。
随着链条延伸至第四步发表与第五步正典化，危机进一步显现。陶哲轩提出了一个极具警示性的概念：“证明消化不良”。由于AI大幅降低了证明生产的边际成本，数学界将从长达数千年的“证明稀缺时代”瞬间迈入“证明过剩时代”。传统的学术评价机制建立在稀缺性之上，奖励第一个发现者。但在过剩环境中，海量未经消化的证明将淹没同行评审系统，导致有效信息被稀释。正典化，即成果进入教科书、成为学科基石的过程，原本是整个流程中最慢但最有价值的环节，如今更难以在信息的洪流中突围。
面对这一结构性危机，陶哲轩并未主张排斥AI，而是倡导建立新的行业规范与责任边界。他援引《莱顿人工智能与数学宣言》，提出两项核心应对策略。首先是透明度，要求研究者明确披露AI的使用情况，避免“暗箱操作”带来的伦理风险。其次是责任归属，明确人类作者对AI生成内容的正确性、引用及解释责任承担最终法律责任。陶哲轩特别强调了一条经验法则：如果作者无法就其成果进行清晰、正确且归属得当的专家级报告，那么该成果不应被发表。这一观点实质上确立了“人类可解释性”为数学成果发表的新门槛。
此外，陶哲轩还划定了AI应用的禁区与鼓励区。在数学教育、人才培养及公众科普等领域，必须严格限制AI的使用，以保留属人的思维训练过程；而在其他研究领域，数学界应主动定义规则，而非被动接受科技公司的产品逻辑。他强调，整个共同体需要就AI的能力边界与数学的核心价值观展开开放、诚实的讨论。
值得注意的是，陶哲轩在演讲中展示了其独特的个人风格：在警告危机的幻灯片旁标注“所有破折号均为人类生成”，同时承认部分文本补全使用了AI。这种知行合一的态度，恰恰诠释了他所倡导的立场：不拒绝技术红利，不隐瞒使用痕迹，但坚持由数学共同体自身来制定规则。
百年前，数学界通过确立公理化体系，解决了逻辑合法性的问题；百年后，面对AI带来的价值观冲击，数学家们需要构建新的认知与伦理框架。这不仅是技术的挑战，更是学科灵魂的拷问。如果处理得当，这场危机同样可能成为数学界重塑价值体系、强化人类智慧独特性的契机。在这个过程中，证明不再仅仅是符号的推演，更是人类理解力、审美与沟通能力的最终体现。