数学界大地震！陶哲轩拉响警报，AI正在摧毁千年学术体系

你敢信，顶级数学家圈子直接吵翻了天，这场大辩论的核心居然是AI，带头的还是拿过菲尔兹奖的陶哲轩。前几天他还在张罗开源数学AI项目，转头就在全网喊话要放缓AI发展，现在他的博客评论区已经成了数学界的辩论战场。吵到最后的核心问题，戳中了所有学数学人的痛点：传承了上千年的数学研究体系，真的要被AI砸了饭碗？

放在几十年前，谁也想不到数学这门古老学科会走到今天这个境地。一个数学博士读下来少说四五年，天天泡在浩如烟海的文献里找方向，证明一个小引理都能掉一堆头发，能出一点点原创成果，足够顺利毕业谋得一份教职了。现在AI大模型和自动定理证明工具结合到一块，连不少难啃的定理都能整出证明，速度还快到完全超出人类的承受极限。

陶哲轩之前大力推广的形式化验证工具，本来是为了方便学者交流协作，现在反倒成了AI“围剿”人类研究者的利器。成千上万的AI智能体不知疲倦地抱团探索，把数学未知空间的每个角落都扫了个遍，人类拼体力拼速度根本赢不过。不少人已经开始悲观，说纯人类做数学研究的时代已经到头了，未来人类只能沦落给AI整理证明，当一个工具人。

这次引发大讨论的客座文章，是3Blue1Brown创始人Grant写的，一开口就戳破了学术界遮了很久的窗户纸。一直以来学界都把证明看得太重，谁证出了大难题谁就是神，就能拿大奖。你就算把复杂定理讲得深入浅出，惠及百万学子，也只会被打上“搞科普”的标签，不算真正的硬核学术贡献。

Grant说，其实解决问题、生成证明，本来就只是数学家追求目标的代理指标。数学家真正的目标，是增进人类对数学的理解。AI根本不需要理解就能生成证明，那原来拿证明当核心指标的评价体系，自然就没法用了。他还提出了一个全新的方向，叫“动机阐释”，和原来冷冰冰的证明完全不是一回事。

传统证明上来就甩一堆晦涩的新定义，接着就开始硬推性质，每一句话都要绝对正确，没人管你为什么要提出这个定义。动机阐释反过来，先把要解决的问题摆清楚，需要新概念的时候才拿出来，还要给你讲明白为啥要造这个概念，甚至可以从错误的思路开始讲，带你走一遍人类真正思考的过程。证明只告诉你“这个定理是对的”，动机阐释却能告诉你“这个定理为什么对，它是怎么来的，在整个数学体系里到底占什么位置”。

现在AI随随便便就能吐出一堆几千页的天书式证明，这些证明就像一堆未经开采的矿山，扔在那对人类来说一点用都没有。得有人去提炼，去梳理，去建立不同概念之间的联系，这些真理才能真正变成人类的知识。早几十年就有数学大师说过，人类不光要知道一个定理是真的，更渴望用自己的心智真的弄懂它。

Grant也给了实打实的改革方向，不用空喊口号。博士答辩可以改一改，允许学生用AI解题，最终考核核心改成能不能把这个难题，给全系师生讲得明明白白。还要请陶哲轩这样的学界领袖，列一份“未解决的阐释问题清单”，把那些大家都知其然不知其所以然的定理整理出来。评终身教职的时候，要把写优秀教材、做有启发性的学术内容，放到和发顶刊同等甚至更高的位置。

之前就有现成的例子，研究者用AI解决了搁置很久的埃尔德什第1196号问题。AI出的最初证明像天书一样，人类根本看不懂，对数学发展也没什么帮助。后来陶哲轩和不少数学家一起出手，破译了AI的方法，提炼出核心思想，还顺带着搞清楚了一堆周边的相关猜想。整个过程里，AI只是挖矿的机器，人类数学家才是提炼宝石的设计师，后者的价值远比AI的原始输出大得多。

文章发出去之后，不光数学界吵，隔壁理论物理圈的人都跑来凑热闹。有物理学家开玩笑说，我们搞理论物理的几十年前就把理解放在证明前面，当时还总被说“你们那这不叫数学”，现在看到数学界终于转过来了，简直太暖心，欢迎加入我们的世界。

当然数学界内部也有不一样的声音，有人说转向阐述会埋没不善言辞的解题天才。比如已故的数学天才布尔甘，论文写得粗糙难读，但解决问题的能力是顶尖的，要是改了评价标准，这样的天才不就被埋没了？陶哲轩亲自下场回应，说布尔甘那样的写作风格，是原来评价体系逼出来的，他本身其实非常会阐述，要是当年给阐述更多权重，他的贡献只会比现在更大。

还有人担心，AI早晚也能学会做完美的动机阐释，到时候人类数学家还能做什么。有网友直接点破，最好的阐述从来都是跟着具体的人走的，我们做阐释本来就是为了促进人类理解数学，又不是给机器看的。就像AI把菜做得再香，你也得自己咀嚼消化才能得到营养，没人能替你长身体对吧。

陶哲轩前一周还在推进开源AI数学项目，转头就喊要放缓AI，不是因为人类输在了算力上，是因为现在AI发展太快，我们从学术体制到大众心理，全都没做好准备。还抱着原来唯证明唯论文的老规矩不放，成千上万的年轻学者真的会走投无路，传承千年的学术生态也会被毁掉。

其实换个角度看，现在反而是学数学的年轻人最好的时代。原来你得天天耗在枯燥的推演上，当一个证明工人，现在这些活都可以丢给AI，你终于能腾出手来问为什么，找不同领域之间奇妙的连接，把高深的数学讲给更多人听。旧的时代在崩塌，但属于人类心智的数学文艺复兴，说不定才刚刚开始。AI能给我们装满一袋子真理，但能帮我们在真理之海航行的罗盘，永远只会来自人类自己的理解。

参考资料：新华网 《AI时代，数学研究的转型与思考》