菲尔兹奖得主预警：AI或致数学陷入“富营养化”死亡
数学界正在经历一场静默却剧烈的范式转移。随着2026年菲尔兹奖的尘埃落定，学术界并未迎来预期的庆祝，反而陷入了一种深沉的焦虑。加拿大多伦多大学Jacob Tsimerman教授在获奖后迅速加入OpenAI，预言两年内AI将在所有数学证明领域超越人类；与此同时，陶哲轩与Timothy Gowers等顶尖学者也公开表达了深切的担忧。这不再是关于AI是否会“取代”人类的简单讨论，而是关于数学作为一门学科，其核心存在意义是否正在被重构的哲学拷问。
这种焦虑并非空穴来风。2026年6月，《莱顿宣言》正式发布，由国际数学联盟背书，短短时间内获得3164位签名，包括陶哲轩、Peter Scholze等巨头。宣言的核心立场明确：数学必须保持其作为“深刻人类事业”的本质。然而，当Timothy Gowers拒绝签署时，他并非反对宣言的初衷，而是指出了更深层的困境：我们面临的危机不是AI太弱导致数学停滞，而是AI太强导致数学“过剩”。
“富营养化”隐喻下的数学危机
Gowers提出的“富营养化”（Eutrophication）隐喻，为理解这一危机提供了独特的视角。在传统认知中，我们常担心AI会像干旱一样让数学土地贫瘠，即“饿死”数学家。但Gowers指出，真正的危险在于“撑死”。
设想一个思想实验：若一场瘟疫夺走所有数学家而保留所有文献，重建数学传统需耗时数十年，因为文献只是压缩包，数学家的大脑才是解码密码。这代表了因人类智慧缺失导致的贫瘠。然而，在AI时代，另一个版本正在上演：AI随时待命，能以任意详略程度解释任何问题。这种便利消解了探索的乐趣，削弱了人们投入漫长岁月训练数学直觉的动力。
结果是数学文献空前繁荣，但人类专家群体悄然消失。数学可能沦为全人类的“思维墓地”——文献躺在硬盘中，却无人能真正理解其背后的思想脉络。就像湖泊因养分过剩导致藻类爆发、氧气耗尽而成为死水，数学也可能因AI生成的证明数量指数级增长，而失去人类解读的活性，最终陷入意义的虚无。
从传统AI到LLM的颠覆性突破
Timothy Gowers对这一危机的感知，源于其长达四年的技术观察与亲身实践。早在2022年，他资助的项目坚持GOFAI（传统人工智能）路径，强调让计算机模仿人类“化繁为简”的结构化思维，旨在生成可解释、用于教学的“有动机证明”。他坚信LLM缺乏真正的理解，只能处理表面模式。
然而，2026年的技术现实彻底颠覆了这一假设。Gowers在测试ChatGPT 5.5 Pro时，仅投入少量提示，AI便在数论问题上给出了博士级别的研究成果，将原本线性界限推进至多项式级别。更令人震惊的是，AI在处理“单位距离问题”时，虽然最初仅提供反例，但其论证逻辑之严密、创新之深，已具备发表《数学年鉴》的水平。
这一转折点标志着LLM在数学领域的能力跃迁。Gowers承认，当前的技术水平将比未来任何时刻都要落后。他开始使用AI进行自动形式化验证，仅用几小时提示便完成以往需数周的工作。这种效率的碾压，让强调“理解”的数学家感到一种深刻的无力感，仿佛被抽走了脚下的地毯。
知识冠名权的消解与真理的回归
AI对数学的冲击不仅限于技术层面，更触及学术伦理与所有权的核心。哥伦比亚大学Peter Woit指出，传统学术规范强调将想法归功于发现者，但AI智能体对“冠名游戏”毫无兴趣。AI生成的证明不属于任何数学家，它只是真理的呈现者。
这种去中心化趋势正在瓦解现有的学术评价体系。当定理不再属于数学家，而是属于AI生成的过程时，科学发现的驱动力将发生根本性变化。数学家面临的双重困境在于：一方面，他们需要适应AI辅助甚至主导的研究新模式；另一方面，他们必须重新定义自身在“真理回归宇宙本来面目”过程中的价值。
Gowers提到的“地毯被抽走”的怪异感，正是这种身份认同危机的体现。当机器能瞬间解决人类多年苦思的问题，数学家的角色可能从“发现者”转变为“策展人”或“提问者”。这种转变要求我们重新审视教育体系、合作模式乃至数学哲学的根基。
抵御“思维墓地”的建构性路径
面对AI带来的“富营养化”风险，简单的抵制或盲从皆不可取。关键在于如何维持数学作为人类智力活动的独特性。首先，我们需要重构数学教育，强调直觉培养、问题提出能力以及跨学科的联系，而非仅仅训练解题技巧。其次，学术界应建立新的协作范式，明确人类在AI辅助研究中的主导角色，例如专注于AI难以触及的开放性问题、数学与物理/计算机科学的深层连接等领域。
此外，《莱顿宣言》中的建议值得深入探讨：限制在日常思考中使用AI，保持人类大脑作为“密码”的活性。这并非拒绝技术，而是为了保护数学的“深层结构”。通过建立“有动机证明”数据库，让AI学习人类的推理路径而非仅最终结果，或许能弥合理解鸿沟。
数学的未来不在于人与机器的对抗，而在于二者能力的互补。AI擅长遍历与计算，人类擅长洞察与定义。如果人类放弃对“为什么”的追问，仅依赖AI提供的“是什么”，数学将失去其灵魂。反之，若我们能利用AI扩展认知边界，同时坚守人类对意义的探索，数学将在AI时代焕发新的生命力。
这场危机也是一次机遇。它迫使数学家重新审视学科的本质，探索在智能时代人类智慧的独特价值。或许，真正的数学之美，正是在与机器的对话中，愈发彰显其作为人类精神最高成就之一的地位。我们不应让数学成为无人光顾的墓地，而应将其打造为人类与机器共同探索真理的广阔田野。
