OpenAI内部模型攻克50年数学天堑!陶哲轩叹服:在世无人能独自想出

想象一下，和二十位菲尔兹奖得主同处一个群聊，手机屏幕在深夜被疯狂刷屏。

2026年10月，整个基础数学界迎来了一场毫无防备的八级地震。

10月6日，OpenAI 突然在 GitHub 上公开了一个名为 openai/math 的代码仓库，一口气倾泻出 719 篇由“内部未发布前沿模型”产出的数学手稿，归入 372 个成果族。官方轻描淡写地注明：平均每个结果，只消耗了相当于 三小时 ChatGPT Pro 级别的思考算力。

当罗格斯大学数学家亚历克斯·孔托罗维奇（Alex Kontorovich）点开编号为 Family 003 的主手稿时，他直接在社交平台上失态惊呼：“准黎曼假设（Quasi-RH）？你在逗我吗？！如果是人类做出来的，这会毫无争议地立刻拿下菲尔兹奖！”

▲ 数学家孔托罗维奇引用 OpenAI 公告惊呼：若由人类完成，将是毫无争议的即时菲尔兹奖

几天后，当代数学界的头号领军人物、菲尔兹奖得主陶哲轩（Terence Tao）在 Numberphile 播客中给出了他的审视。他既肯定这是“该方向五十年来最大的进展”，又给出了令人深思的剖析：

这套震动学界的新技术，核心在于“把三四种早就存在的旧想法，用一种极不寻常的方式拼在了一起”。紧接着，他又给出了一个极具分量的判断：“我怀疑，在世的任何一位数学家单枪匹马都想不出来。”

一场关于新旧科研范式、算力霸权与人类独创性边界的剧烈碰撞，就此拉开帷幕。

01破题之变：百年“削尖”旧路 vs. 算力“跨界硬拼”新法

要听懂陶哲轩为什么既震撼又拧巴，得先看懂这道题到底难在哪。

数学皇冠上最著名的悬赏叫黎曼假设，它关心素数分布的终极规律。你可以把复平面想象成一张二维地图：右边有一条边界线叫“实部等于 1”，中间有一条中心线叫“实部等于 1/2”。黎曼猜想认为，所有关键的“非平凡零点”都老老实实地排在 1/2 这条中轴线上。

一百六十多年来，没人能证明它于是数学家退而求其次，提出了“准黎曼假设”：哪怕证不出所有零点都在 1/2 上，只要能在 1 的左边画一条笔直的竖线（比如 0.99 或 7/8），证明这条线右边是一片干净的“无零点安全区”，也是史诗级的突破。

▲ OpenAI 公开的 199 页准黎曼假设预印本目录，标题直指实部大于 7/8 的零点自由半平面

在这道天堑面前，人类百年的旧方案，是一条让人绝望的“削尖”之路。

自十九世纪末以来，人类数学家只能贴着“1”的边缘清理出一小块无零点区域；并且在复平面上越往高处（虚部越大）走，这条安全区就会被挤压得越来越窄，宛如一根无限变细的针尖，难以画出一条上下贯通的固定竖线。孔托罗维奇原本以为，AI 顶多能把这根“针尖”稍微加厚一点点。

而 OpenAI 内部模型给出的新方案，是直接用旧砖块砌出了一道笔直的防洪墙。

在这篇长达 199 页的手稿中，AI 宣称直接在 7/8（即 0.875） 处画下了一条贯穿所有高度的竖线！用陶哲轩的通俗比喻来说：如果从 1 走到 1/2 是通往终极黎曼假设的马拉松，过去人类只能在起跑线边缘挪动毫厘，而 AI 这一脚，直接跑完了全程的四分之一。不仅如此，配套手稿还顺手把困扰数论界多年的“幽灵”，Landau–Siegel 零点给一致排除了。孔托罗维奇看罢直接改口：“那这大概值两个菲尔兹奖。”

▲ 独立整理站点 Post-Cutoff 将该成果重要性标为“历史级（historic）”，状态为等待审阅

让数学家深感震撼的，正是 AI 破题的手法。

过去人类冲击百年难题，往往寄望于某位天才灵光一闪，发明一套前所未见的“外星数学工具”。但拆开 AI 的 199 页证明，里面用到的泊松求和、对偶均方估计迭代、theta 函数计算以及立方族 L 函数，全都是解析数论里存在已久的“老零件”。

为什么人类顶尖大脑守着这些老零件五十年没拼出来，AI 却拼出来了？

因为人类学者受困于“子领域习惯”一个专攻 A 工具的数学家，本能地不会去尝试跨界串联 B、C、D 三种看似八竿子打不着的变形步骤，那种组合在人类直觉里太别扭、试错成本太高。而 AI 没有学术门派的偏见，它依靠恐怖的推理算力，在人类懒得架桥的“尴尬交叉地带”穷尽试错，硬生生用三四种旧思想拧出了一条通天锁链（尽管陶哲轩也指出，若无新思想注入，这套拼装法在 3/4 处就会触顶）。

▲ 社交网络疯传的陶哲轩访谈引述：五十年最大进展，却是三四种已有想法的非常规组合

02范式之变：“孤胆英雄”手工作坊 vs. “证明丰裕”工业倾泻

破题手法的颠覆只是表象，更猛烈的冲撞发生在数学界延续数百年的生存法则上。

在陶哲轩将其命名为 “Math 1.0”的旧范式里，数学建立在“证明稀缺”之上。那是一个浪漫的“孤胆英雄时代”每一个大定理的诞生，都伴随着漫长的手工打磨：导师带着博士生苦熬数年，在黑板前争论，开研讨班，把证明背后的直觉、动机和中间概念一步步传递给学术共同体。解题，只是推动人类“理解数学”的代理指标。

而在 AI 强行开启的“冲击波模式”下，数学瞬间掉进了“证明丰裕”的工业倾泻时代。

一夜之间，719 篇手稿砸向学界，其中约四成顶级结果甚至附带了计算机可自动核验的 Lean 形式化代码。陶哲轩在访谈中毫不掩饰他的愤怒与失落：许多年轻学者苦熬多年的博士课题和长期项目，在一夜之间被机器“扫光”。商业公司把成吨的证明像倾倒生肉一样扔在数学家家门口，却几乎没有留下任何一个人来帮忙解释和消化。

“AI 生成的数学证明就像快餐，能吃饱，但没那么令人满足。”陶哲轩在镜头前打了个比方

▲ 陶哲轩将批量涌现的 AI 数学证明比作“快餐”：能吃，但缺乏人类理解的满足感

在加州理工学院《Math 2.0》公开讲座上，陶哲轩发出了振聋发聩的警告：当证明不再稀缺，继续盲目只优化“从题目跳到答案”的自动解题，对数学的长期健康是有害的。在他的 Math 2.0 新方案里，数学研究的重心转向把“开放研究问题”梳理为“开放阐释问题”：通过消融实验拆解机器证明，为人机共创的结果网络寻找人类能够理解的数学动机与理论脉络，摆脱单纯争抢解题终点线的单维竞争。

▲ 陶哲轩在博客公开《Math 2.0》演讲幻灯，剖析从“证明稀缺”到“证明丰裕”的危机与转型

03规则之变：算力黑盒垄断 vs. 1500万美元“质检博弈”

面对商业巨头的算力碾压，象牙塔里的学者们很快发现了一个更残酷的现实：算力鸿沟。

在旧的产学关系里，科技巨头握有上万张显卡集群和闭源前沿模型，几小时就能暴力枚举出一篇百页长文；而大学数学系连持续调用高阶 API 的账单都付不起，更别提以人类的肉眼去逐行审阅 719 篇天书。生成以小时计，消化却要以年计，巨大的“消化赤字（Digestion Deficit）”让学术界陷入了失语。

面对全球数学共同体与菲尔兹奖得主们的联合反弹，一场围绕算力治理的新制度博弈在十天内火速落地。

▲ OpenAI 官方博文首屏，上方新增了 10月15日关于向西蒙斯基金会捐资 500 万美元的更新

2026年10月15日，基础科学界最负盛名的私人资助机构西蒙斯基金会（Simons Foundation）宣布启动 1500 万美元专项基金。处于风暴中心的 OpenAI 宣布捐资 500 万美元，其头号竞争对手 Anthropic 也罕见地联手加入。

这份协议最引人注目的突破在于“算力平权”条款：资金之外，OpenAI 与 Anthropic 首次做出退让，承诺直接向获得资助的人类数学家开放原本锁在商业黑盒里的前沿推理模型与大规模算力集群。这笔资金将专门用于资助顶尖学者开办研讨季、攻克 7/8 准黎曼假设等机器手稿的“消化赤字”，普及 Lean 4 形式化工具，并由数学家自主起草人机署名与防撞车规范。

然而，在毒辣的观察者眼中，这桩看似双赢的“学术自治协议”背后，依然藏着冷酷的商业算计。

有激进学者一针见血地指出：科技公司未经同意抛出海量半成品手稿，再花区区 500 万美元设立基金，本质上是用极低的成本，把全世界最聪明的人类数学家变成了商业大模型的“外包质检员”。但在算力狂澜之下，正如陶哲轩在个人观点活页中所认可的：单纯的道德抗议毫无意义，通过中立基金会把资本与算力强行关进学术共同体的规则笼子里，已经是人类学者守住评价主权最务实的防线。

04智能之变：等待“天外飞仙” vs. 穷尽“尴尬交叉带”

回到最初引发全网热议的核心命题：当 AI 只依赖“拼装旧想法”，它能否算作具备独立智能与独创性？

社交网络上，有人翻出了 2023 年科技播客主 Dwarkesh Patel 的一句经典质疑：“大模型甚至没能做出哪怕一个通向新发现的新连接。”而三年后的今天，陶哲轩亲口承认了“三四种旧想法的非常规组合”。

▲ 网友将 2023 年“AI 做不出新连接”的质疑与 2026 年陶哲轩的评价并置对比

至今仍有人在评论区争辩：“它只是把旧想法拼起来，它只是个下一词预测器（next-token predictor），算不上具有原创性！”

这种傲慢，恰恰暴露了人类对“独创性”最大的认知误区。

▲ 网友嘲讽那些在陶哲轩承认“五十年最大进展”后，仍坚称 AI 只是“下一词预测器”的怀疑者

在旧的创造力神话里，人们总以为颠覆性原创必须是“无中生有”，必须是牛顿被苹果砸中、拉马努金在梦中得到神启，凭空捏造出一个宇宙中从未有过的原子概念。

但科学史的真实脉络表明，绝大多数改写人类文明的巅峰原创，本质上都是高维度的“旧砖新砌”。印刷术是压酒机与活字模具的组合，相对论离不开黎曼几何与洛伦兹变换的嫁接。当已知的知识碎片膨胀到百万级，人类大脑受限于生物内存、学科壁垒和几十年的学术惯性，已经无法看清那些跨越三四个子领域的隐秘通道。

AI 带来的新智能范式，正是对这种“组合爆炸”的降维打击。

它不需要神启它只是不知疲倦地潜入人类学者觉得别扭、枯燥、甚至被学术体面所排斥的“思维盲区”，把三四块落满灰尘的古典石头，严丝合缝地搭成了一座通往 7/8 零点自由带的拱桥。

单看每一块石头，都是人类早就造好的；但抬头看那座桥，在世没有任何一位人类大师能独自搭出来。

浪漫的孤胆英雄时代确实落幕了但当机器帮我们推开了那扇卡死五十年的沉重石门，门后那片更辽阔、更需要被人类深入“理解”的新大陆，才刚刚露出真容。