菲尔兹奖得主邓煜：AI 是工具不是主体，证出重大定理就该公开思维链

菲尔兹奖得主、芝加哥大学数学系教授邓煜上周末在一场论坛上发表演讲，谈 AI 时代的数学研究。他的态度很清楚：AI 可以是极强的工具，但不能取代人成为研究的主体；如果 AI 真的证出了重大定理，就应该公开思维链，接受学术界的检验。

一分钟速览

• 邓煜认为 AI 的优势是知识面近乎无限，试错成本极低。
• 他坚持在数学研究里人始终是主体，AI 只是工具。
• AI 若证出重大问题，合理要求是公开思维链。
• 他批评部分公司以防蒸馏为借口，拒绝披露推理过程。
• 他提议开源数学模型，让数学界掌握自己的工具。

防蒸馏站得住脚吗

争议的核心是一句话：你不能只在蒸馏全人类知识的时候大大方方，别人想看你的思维链时，就说不行。邓煜的意思很直接——大模型本身就是吃公开文献和人类知识长大的，等到学术界想了解推理过程，却被防止被蒸馏挡在门外，这在逻辑上说不通。

他还提到一个细节：在这些公司公布的所有证明中，只有极少数真正公开了思维链，大多数都以防蒸馏为由，连相关信息一起收了起来。对数学这种讲究可检验、可复现的学科来说，只给结论不给过程，等于让审稿人闭着眼睛签字。

署名、抄袭与人类的传递链

今年 9 月，陶哲轩、邓煜、彼得·舒尔茨等 25 位菲尔兹奖得主联合发表声明，警告 AI 公司与数学共同体之间正在出现严重错位。声明提到，AI 给出的解答往往仓促发布，没有时间正式写作，也没有时间隔离新方法、引用他人的相关工作，由此引发署名和抄袭问题。

更深的担忧是人的链条会断。数学不只是定理的集合，还包括谁在什么背景下想到它、怎么把它讲给下一代。如果没有愿意为成果负责、并把它融入数学经典的数学家，AI 生成的想法很难真正成为学科的一部分。这句话听起来抽象，但对做研究的人来说很具体：一个没人能解释的证明，和一张中奖彩票的区别并不大。

数学界想要自己的模型

邓煜提出的解法有两条。一是开源数学模型，保证数学界手里有属于自己的工具，不必完全依赖几家商业公司；二是让模型的使用遵守学术规范，包括数据来源、思维链公布、结果可追溯。

这两条其实是一个意思：把评价权留在共同体内部。工具可以外包，判断不能。模型越强，越需要有人能说清楚它为什么对、错在哪里，否则整个学科会被黑箱牵着走。

趋势洞察

这场争论表面是开源与闭源，实质是知识生产的主导权。AI 公司掌握算力和模型，学术界掌握问题、品味和验证标准，两边谁都离不开谁。短期看，公开思维链会增加商业公司的成本；长期看，没有外部验证的重大突破很难获得学术信用。对普通人来说也一样：一个能给出答案却讲不清过程的系统，适合当助手，不适合当权威。