刚刚，陶哲轩、邓煜等菲奖得主联合声明：AI公司正毁掉整个数学圈！（2026-10-13）

当数学证明变成“黑箱生成”，我们失去的不仅是公式，更是人类理性的根基。

一场前所未有的联合声明

2026年10月13日，数学界迎来了一次罕见的集体发声。菲尔兹奖得主陶哲轩、邓煜，以及另外七位菲奖得主、二十余位顶尖数学家，联合签署了一份题为《数学的未来不能外包给机器》的公开声明。

声明的核心只有一句话：“AI公司正在以‘效率’之名，系统性地摧毁数学研究的生态。”

这不是危言耸听。在声明发布后的24小时内，全球数学社区超过3000名研究者联署支持。究竟发生了什么，让这些平日里埋头于抽象世界的学者们，选择站到聚光灯下？

三大“罪状”：AI公司如何侵蚀数学圈

1. “证明即服务”正在扼杀原创思维

过去三年，多家AI公司推出了“数学证明自动生成平台”。你输入一个猜想，AI在几秒内输出一份看似完整的证明。问题在于——没人看得懂。

陶哲轩在声明中举了一个真实案例：某顶级AI公司声称用其模型“证明”了数论中的一个重要猜想。六位专家耗时两个月验证，发现证明中隐含了3个未经证明的引理，其中一个是错的。但当他们向公司反馈时，得到的回复是：“模型置信度99.7%，建议接受。”

数据：据《数学评论》统计，2025年AI生成的数学预印本数量较2023年增长了17倍，但其中可被人类验证的比例不足4%。

2. 数据垄断：你的论文，成了别人的训练集

邓煜在声明发布会上透露了一个令人不安的事实：多家AI公司未经许可，将arXiv（数学预印本库）上超过200万篇论文用于模型训练。更关键的是——这些模型生成的新“定理”，从不引用原始作者。

“我们不是反对AI辅助数学，”邓煜说，“我们反对的是，数学家的思想被无偿收割，然后包装成‘AI的突破’再卖回给我们。”

3. 人才虹吸：博士去写提示词，而非做证明

最让数学界忧心的是年轻一代的流失。声明附件中有一份匿名调查：在北美Top 20数学系中，2025年毕业的博士有31%选择加入AI公司，岗位名称是“数学推理工程师”——实际工作是清洗数据、编写提示词、标注AI输出。

“一个花了六年研究朗兰兹纲领的博士，现在每天的工作是给AI的证明挑语法错误。”一位不愿具名的普林斯顿教授在声明中写道，“这是对人类智力的巨大浪费。”

普通人为什么要关心这件事？

你可能会想：数学家吵架，关我什么事？

三个直接影响：

1. 药物研发：AI生成的错误数学证明，可能导致分子模拟中的致命偏差。2025年已有两起临床试验因AI推导的模型错误而暂停。
2. 加密安全：数论是密码学的基石。如果AI“证明”了某个错误结论，可能让整个加密体系暴露在风险中。
3. 教育崩塌：当学生用AI“解决”所有数学题，他们失去的是逻辑推理能力——而这恰恰是AI本身最缺乏的。

实用建议：作为普通人，你能做什么？

• 不要迷信“AI证明”：看到“AI解决百年数学难题”的新闻，先等三天——让专业数学家验证。
• 支持开放数学：关注arXiv、Zenodo等平台，拒绝使用未经许可抓取论文的AI数学工具。
• 鼓励孩子手写证明：数学不是“得到答案”，而是“理解为什么”。
• 向政策制定者发声：要求AI公司公开数学训练数据的来源和许可协议。

行动号召：数学是人类最后的堡垒

陶哲轩在声明的最后写道：

“我们不是卢德分子。我们欢迎AI作为工具。但数学的本质是理解，不是生成。当理解被外包，人类将失去质疑、纠错和创造的能力。那一天，AI不需要统治我们——我们自己就放弃了思考。”

现在，请你做一件事：打开你常用的AI工具，问它“请证明√2是无理数”。然后问自己——如果它给出一份你看不懂但“看起来正确”的证明，你会接受吗？

如果你的答案是“不”，那么你已经站在了数学这一边。

转发这份声明，让更多人知道：数学不是AI的玩具，而是人类理性的火种。

免责声明：本文基于2026年10月13日公开的数学家联合声明及相关公开数据撰写，旨在传递信息与引发讨论。文中观点不代表所有数学家的立场。AI技术发展迅速，具体案例与数据请以最新权威来源为准。读者应独立判断，并咨询相关领域专家后再做决策。