攻破拟黎曼猜想：AI没有发明外星数学，它只是拼上了人类散落的抽屉

数学界最硬的一块骨头，被 AI 啃下来了一大块。 不是那个困扰了人类 160 多年的完整黎曼猜想。 这次被攻破的，是它的前哨站：拟黎曼猜想。 斯坦福大学的数学家利希特曼看完全文说，如果这事是一个人类单独做出来的，足够当场拿走一枚菲尔兹奖。 消息一出来，很多人的第一反应是：完了，银行密码和网络加密是不是要被破了？ 先别慌。 现代密码学依赖的是大整数分解，黎曼猜想不管怎么推进，根本动不了 RSA 加密体系的一根毫毛。 真正被震碎的，是纯数学家们的后背。 为什么说影响大到惊人？ 我们先看看数学家平时都在干什么。 黎曼猜想问的是素数的分布规律。 它断言黎曼函数的所有非平凡零点，全都在实部等于二分之一的那条垂直线上。 这条垂直线太窄、太苛刻了。 人类顶级大脑围攻了整整 160 多年，至今没人能证明零点全都老老实实呆在上面。 那拟黎曼猜想又是什么？ 它退了一小步：我不强求零点全部挤在二分之一那条线上，我只要你证明，零点绝不会越过某个界限，比如八分之七。 只要你能证明在实部大于八分之七的区域里，连一个零点都没有，这堵高墙就算立住了。 听起来像是一个妥协，对不对？ 但纽约大学的数学家拉齐维乌说了一句话：数学界平时依赖黎曼猜想推导出来的那些惊人定理，绝大部分根本不需要二分之一。 只要有这道八分之七的防火墙，就全都能成立。 过去半个多世纪里，数论学家们写了无数篇论文。 很多划时代的论文，开头第一句都是假设黎曼猜想成立。 几百个像空中楼阁一样的推论，就在天上悬了几十年。 现在，随着八分之七这堵高墙被死死焊住，这些推论呼啦啦全落了地，直接变成了不用再加任何假设的绝对真理。 那这篇证明到底是怎么来的？ OpenAI 之前低调发布了 377 个数学结果，其中第三号文件就是它。 更让同行坐不住的是，里面很大一部分推演，直接附带了 Lean 语言的形式化代码。 这不是大模型在胡思乱想。 它的每一步逻辑推导，都经过了机器内核的机械核验。 很多人好奇，AI 到底是从哪里掏出了外星魔法？ 数学家们把这篇长篇证明一层层拆开之后，发现根本没有什么天外飞仙。 它用的全都是人类已经写在书里的武器。 普林斯顿高等研究院的萨纳克教授，几十年前就提过一个直觉： 光盯着黎曼函数自己看是解不开的，你得把它放进一个更大的函数家族里去研究。 这个宏大的方向是对的，但几十年来谁也不知道具体该挑哪一个家族。 与此同时，佐治亚理工学院的数学家邓恩，常年在一个冷清偏僻的数学角落里钻研一种叫亚辛形式的冷门工具。 2021 年，邓恩和拉齐维乌一起证明过一个公式。 当时除了极少数同行，几乎没人当回事。 结果呢？ AI 在人类海量的数学文献里游走，把萨纳克几十年前的宏大直觉，和邓恩 2021 年那篇静静躺在角落里的公式，咔嗒一声拼在了一起。 接着，它用人类肉眼很难承受的计算耐力，穿过了几千步极其复杂的代数变换。 邓恩看到这篇证明的时候自己都愣了。 他说自己做梦也没想到，当年随手造出来的冷门零件，居然成了推倒这座大厦的关键钥匙。 这才是最让学者们感慨的地方。 AI 没有凭空发明一个全新的数学宇宙。 人类的大脑其实早就把所有拼图的碎片都造出来了，只是散落在了不同的抽屉里。 没有一个人有那么宽的视野和那么强的推演体力，能把上世纪九十年代的直觉、2021 年的冷门公式和几十页密不透风的符号推导串成一条线。 AI 把这条线串起来了。 数学家现在的角色，突然从搭积木的人，变成了进图书馆验货的人。 他们一边拿着放大镜去翻译那些机器写出来的证明，一边拍着大腿惊呼：原来这两个东西还能这么连在一起。 纯数学的边界就这么被推开了一大步。 至于人类数学家会不会失业？ 拉齐维乌和陶哲轩他们现在正忙得不可开交呢。 机器负责在草丛里翻出路来，而告诉世界这条路通向哪里的，依然是人类自己的好奇心。