菲尔兹奖得主预警：AI将“撑死”数学，人类智慧遭遇存亡危机？

数学界的“AlphaGo时刻”：当真理不再专属人类

2026年7月，数学界经历了一场前所未有的静默震荡。在菲尔兹奖颁发的短短数日内，三位顶尖数学家——王虹、邓煜的获奖者Jacob Tsimerman，以及陶哲轩、Timothy Gowers，以各自的方式向公众传递了一个令人不安的信号：数学这门古老学科的根基，正在被人工智能重塑。

Jacob Tsimerman在获奖后迅速宣布加入OpenAI，投身于AI安全研究。他给出的理由简洁而极具冲击力：两年内，AI将在所有数学证明领域彻底超越人类。这一决定并非孤例。在同年的费城国际数学家大会（ICM 2026）上，陶哲轩忧心忡忡地指出，我们正进入一个数学价值观与实践基础遭遇危机的动荡时期。与此同时，Timothy Gowers发出了更深的警告：AI杀死数学的方式，可能比我们预想的更加优雅且残酷。

这并非简单的技术替代叙事，而是一场关于认知主权、知识生产机制以及人类智慧本质的深层危机。

“富营养化”陷阱：数学死于过剩而非贫瘠

对于AI的威胁，许多人的第一反应是担心“失业”。然而，Timothy Gowers的思想实验揭示了一个更为本质的困境：数学不会死于停滞，而会死于“过剩”。

Gowers提出了一个名为“莱顿宣言”的背景框架。2026年6月2日，《莱顿宣言》正式发布，旨在捍卫数学作为人类深刻事业的核心地位。该宣言由国际数学联盟背书，获得了包括陶哲轩、Peter Scholze、Kevin Buzzard等3000多位顶尖学者的签名。他们强调，数学不仅仅是纸面上的定理，更是活在全世界数学家大脑中的知识体系与专业直觉。

Gowers通过两个极端的思想实验阐述了这一观点。设想一场只夺走所有数学家生命、却保留所有文献的灾难。要在废墟上重建数学传统，需要耗费数十年，因为失去了“密码”——即人类大脑中的理解与直觉。这类似于湖泊因干涸而死亡。

然而，更可怕的另一种情况是：AI随时待命，能以任意详略程度解释任何数学问题。此时，人类不再需要投入漫长岁月去苦练数学直觉。结果将是数学文献空前繁荣，但能够理解这些文献的人类专家却集体消失。文献变成了“无人光顾的墓地”，真理堆积如山，却无人能解读。

Gowers将这种现象比作湖泊的“富营养化”。氮磷养分疯狂涌入导致藻类爆炸，最终耗下水中氧气，使湖泊变成死水。同样，当AI产生的数学知识以指数级增长，而人类的理解力无法同步跟进时，数学将因“撑死”而死亡。这不是知识的贫瘠，而是意义的稀释。

认知颠覆：ChatGPT 5.5 Pro与自动证明的里程碑

Timothy Gowers对AI的态度转变，是这一危机的微观缩影。2022年，他启动自动定理证明项目，坚持“传统人工智能”路线，主张通过深入理解人类推理过程来构建可解释的证明。他批评当时的LLM只见证明不见思考过程。

然而，2026年5月，这一信念被彻底击碎。当Gowers将一道数论问题丢给ChatGPT 5.5 Pro时，模型经过一小时思考，输出了博士级别的研究成果，将原本线性或指数的界限直接推进到了二次甚至多项式级别。这一表现不仅让Gowers承认LLM已具备处理博士级问题的能力，更标志着AI在数学发现中的实用能力达到了新高度。

随后，当得知ChatGPT解决了著名的“单位距离问题”并给出反例时，Gowers彻夜难眠。尽管最终证明尚未完整，但这被视为AI for Math领域的里程碑。如果这篇论文由人类撰写并提交《数学年鉴》，Gowers会毫不犹豫地建议接受。

更具震撼力的是随后的自动形式化验证。7月24日，Gowers将自己的论文喂给AI进行自动形式化翻译。全程仅需他提供一两小时的提示，AI在一周半内完成了将证明转化为机器可验证代码的工作。Gowers感叹：“当前的技术水平，将比未来任何时候都要落后。”这种无奈感，正如昔日李世石面对AlphaGo时的心境：毕生强调理解的数学家，最终被机器的实用能力逼至必须重新定义“研究”的边界。

署名的消亡与真理的异化

AI带来的危机不仅在于能力，更在于伦理与规范的重构。哥伦比亚大学的Peter Woit在博客中提出了一个尖锐的问题：“一个领域的安魂曲？”

在传统科学界，存在着严格的“冠名游戏”规范，即想法必须归功于最先想到的人。这是学术激励的核心机制。然而，AI智能体对“署名”毫无兴趣。如果多数数学发现由AI生成，传统的学术评价体系将彻底失效。这不同于国际象棋，棋手超越AI后，人类间的竞技依然存在；但在数学中，如果所有人都在使用同一种AI程序，竞争的本质将发生异化。

Woit指出，虽然星星并不以天文学家的名字命名，定理也不应完全属于数学家，但如果真理回归其宇宙本源，人类心智的位置何在？Gowers坦言，他曾两次眼睁睁看着GPT-5.6 Pro一次性解出他深思熟虑的问题。那种感觉如同“地毯被从脚下猛地抽走”，怪异且令人不安。

当机器负责科学发现，人类还负责什么？在真理无限膨胀的时代，人类心智的自处之道成为了一个未解之谜。答案或许不在风中飘，而在我们如何重新定义“理解”与“创造”的边界。

重构数学：在工具理性之外寻找意义

面对AI的全面渗透，数学界并未陷入完全的虚无，而是开始了一场深刻的自我反思与重构。《莱顿宣言》的签署，标志着学界试图在技术洪流中确立人文底线。Peter Scholze拒绝让AI参与教育或思考，并非出于对技术的排斥，而是为了保护数学作为人类智慧奇观的独特性。

这种抵抗并非要阻止AI的发展，而是要划定界限：哪些部分可以由机器加速，哪些部分必须保留给人类的直觉与探索。Gowers的行动——从批判LLM到使用AI辅助形式化——展示了一种务实的适应策略。他不再纠结于让AI像人类一样思考，而是利用AI的工具属性来扩展人类认知的边界。

然而，核心挑战依然巨大。如果数学证明变得像代码一样易于生成和验证，那么数学的美感、洞见的深度以及理论构建的优雅，是否会被算法的效率所掩盖？我们需要建立新的评价体系，不再单纯以“证明的长度”或“发现的时效”来衡量价值，而是回归到数学思维的原创性、洞察力以及人类共同体的协作精神。

数学的未来，不在于AI能否超越人类，而在于人类能否在与AI的共生中，重新发现那些机器无法替代的价值：对未知的敬畏、对美的追求，以及在不确定性中寻找秩序的哲学勇气。这不仅关乎数学家的职业前途，更关乎人类在智能时代如何定义自身的智慧尊严。