AI 再厉害，也解不开数学里藏着的“人”

如果有一天，AI 能瞬间证明所有数学定理，数学这门学科会“死”吗？

最近，数学家阿克沙伊·文卡泰什在一篇深刻的文章里，给出了一个反直觉的答案：恰恰相反，AI 的出现，反而让我们看清了数学里最核心、也最容易被忽略的东西——人。

事情要从一百多年前说起。当时数学家发现，光凭直觉，几何和集合论里到处都是bug。慌了神的他们，决定把数学彻底“机械化”：用冷冰冰的符号和规则，代替活生生的人脑。最极端的想法是，把“点、线、面”换成“桌子、椅子、啤酒杯”，只要逻辑对，内容无所谓。

但问题来了：AI 确实能证出绝妙的定理，比如用一条公理定义“群”。但人脑根本看不懂那一长串推导。人和机器对“简单”的理解，完全是两码事。

为什么会这样？因为我们脑子里装满了“概念”——群、空间、模素数……这些词儿不是装饰，是思维的速记工具。数学家看到一道难题，本能会想到“模素数试试”。AI 则不然，它可能直接模一个合数。结果虽然对，但人类完全get不到那条路。

更有意思的是，同样的数学事实，在不同时代、不同领域，会被完全“重写”。作者管这叫“密码同构”。就像韦伯写模函数，为了手算方便，用了一套巨复杂的符号，虽然等价于现代版，但看起来就像外星语言。当年的学生能读懂，现在的专家却得猜半天。

所以，AI 时代真正的挑战不是“机器能不能做数学”，而是：当机器能做所有计算和推理，我们人类为什么还要学数学？

答案是：为了思考本身。数学的本质，不是一堆定理，而是“可重现的心智对象”。说人话就是，一个想法能原封不动地从我的脑子，传到你的脑子。这种稳定的心智交流，是数学存在的理由。

AI 可以帮我们省力，但无法替我们“理解”和“交流”。未来的数学语言，可能会因为机器而彻底改变，甚至让现在的数学家穿越过去都听不懂。但只要人类还在对话，还在试图把想法清晰地装进别人脑子里，数学就不会消失。

它会换一张脸，但内核永远是那颗“人的心”。