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