打开网易新闻 查看精彩图片

这件事本身就很有画面感。

GPT-5.2 Pro做完了埃尔德什第281号问题的证明，把结果发给了陶哲轩。陶哲轩打开，从头看到尾，然后做了一件很陶哲轩的事。他没有直接说“对的”或者“我信了”，而是亲手拿起纸笔，把AI用的遍历论语言翻译成了他更熟悉的组合学语言。一步一步，重新推了一遍。翻译完了，两边对上了。结论一样。证明成立。

我在看到这个细节的时候心里一动。菲尔兹奖得主，世界上最顶级的数学家，正在做的事，是给AI当翻译。不是说这项工作掉价，而是说这个场景本身就在传递一个信号：AI和人类数学家的关系，正在发生微妙的位移。以前是数学家指挥AI“你帮我算这个积分”，现在变成了AI说“我的证明在这里，你自己翻译一下”。

翻译的过程暴露了两个有意思的事实。第一，AI的数学语言体系和人类不同。它用的是遍历论，一种更抽象、更难入门、但处理某些问题时特别高效的方法。大多数数论专家并不擅长遍历论，所以AI的证明在人类眼里看着很费劲。它像是一个数学家独自在一个无人的分支上工作了十年，写出了一篇只有自己能看懂的论文。区别是，它只花了一周，而它无人可交流。第二，AI并不在意人类能不能看懂。它没有“这个证明要让评审委员会觉得优雅”的包袱，它只需要逻辑正确。这是一种完全功利主义的数学，不在乎美感。

陶哲轩在翻译之后得出了一个结论：这种跨领域翻译，很可能就是未来数学家最重要的技能之一。以前数学家的能力是“从无到有做出证明”，现在这个能力正在被AI挑战。但“把AI的证明翻译给人类同行看懂”，目前AI还做不好，只能靠人。

想想看，未来的数学系要开一门新课：AI证明翻译学。这不是段子，这是正在发生的未来。陶哲轩用行动给出了一个很妙的范本。他没有对抗，也没有被替代，他只是拿起笔，开始翻译。这种姿态，比任何宣言都有力量。