北京
有一道数学题，45年没人做出来。
提出它的人叫埃尔德什，20世纪最伟大的数学家之一。他提过上千个问题，多到他自己都记不清。1980年，他和合作者格雷厄姆提出了第281号问题——一道关于素数分布的猜想。此后45年，没有人能证明它，也没有人能推翻它。它就躺在埃尔德什问题库里，像一个沉睡的巨人。
2026年7月，巨人的眼睛睁开了。叫醒它的，是GPT-5.2 Pro。一台AI。用时一周。然后陶哲轩把那份证明从头到尾验了一遍，公开说了四个字：没犯任何错误。
一周对45年。一台机器对一个传奇数学家的未竟之问。这四个字像一颗炸弹，在数学圈炸开了锅。不是没见过AI解数学题，是没见过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.
