北京
你有没有遇到过这种情况——有人给你指了条路，你按照走，确实到了目的地，但你全程是蒙的。你不知道为什么要走这条路，不知道有没有更好的路，不知道这条路能不能通向别的地方。
陶哲轩说，现在AI写的证明，差不多就是这个感觉。他最近指出了一个非常微妙但极其重要的概念——“知识光晕”。人类数学家写证明的时候，不会只扔给你一个干巴巴的逻辑骨架。他会在前面写：这个问题和五十年前某个理论有关；在中间写：这里用的方法和某个经典技巧很像，但改进了某某步骤；在结尾写：这个方法还可以用来解决另外几个问题。这些背景、动机、文献对比、方法边界，就是证明之外的“知识光晕”。它不是证明本身，但它让证明有了生命。
但AI呢？AI证明一道题，给你一份完美的逻辑链。正确率满分，但光晕为零。它不告诉你为什么要这么证，不告诉你这个方法和已知理论有什么关联，不告诉你这个证明有没有推广价值。你看到的结果，是一个技术上正确、但精神上空洞的东西。陶哲轩的原话是：“结果可能技术上对，但对数学共同体的可用价值更低。”
这可不是一句批评，这是点中了AI数学当前最根本的缺陷。数学从来不只是关于“对错”的学问，更是关于“理解”的学问。一个证明如果只是告诉你“这条路走得通”，而不告诉你“还有别的路”“这条路通向哪里”“为什么选这条路”——那它对人类数学家的价值就打了骨折。
这让我想到一件事。我们小时候学数学，老师让你写解题过程，你只写了一个答案，老师会给零分，哪怕答案是对的。因为数学教育教的不只是“答案”，更是“思路”。现在AI就像一个只写答案不肯写过程的学生，而我们还不太好批评它——因为它的答案确实是对的。
但数学共同体需要的不是“正确答案机器”，而是能和他们一起思考、一起讨论、一起拓展认知边界的合著者。如果AI不能提供知识的光晕，那它只能是一个超级计算器，而不是一个真正的数学伙伴。所以陶哲轩的这个提醒，其实是在给AI的开发者们指了一条更难的路：不仅要做出对的证明，还要让证明“可理解”“可连接”“可生长”。那个光晕，才是数学的灵魂。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
