AI 有没有重塑数学研究的范式，这几天数学界的回答高度一致：成果的"生产"环节已经被重塑，但"理解"环节——验证、消化、给价值定价——还没有，而所有的震动与争吵恰恰都发生在这个缺口上。2026 年 10 月 6 日晚，OpenAI 在 GitHub 上公开 722 篇数学手稿，全部出自一个尚未发布的内部模型，归成 372 组结果，覆盖 17 个数学方向。《华尔街日报》把这次事件概括为：数学界既震惊于成果规模，也担忧企业竞争正在改变数学研究的方式与价值。量子位机器之心微博
发布第二天的动作就说明，这批成果离"被数学界接收"还很远。OpenAI 因一个正负号错误撤回了 3 篇与霍奇猜想相关的手稿，722 变成 719。它还同步修订了 14 篇、更新了 13 篇手稿的引用关系。截至 10 月 7 日，留存手稿中主要结论完成 Lean 机器形式化验证的只有约 42%。没有任何一篇通过同行评审。宝藏人间知乎DeepTech深科技
手稿清单：名题密度惊人，但"解决"全是声称
清单上最抢眼的编号 003 组是"准黎曼猜想"：OpenAI 声称黎曼 ζ 函数和所有狄利克雷 L 函数在实部大于 7/8 的区域没有零点，并附上了 Lean 形式化；同组另一份独立证明给出实部大于 11/12 的版本，范围稍窄，但顺带一致排除了困扰数论界近百年的西格尔零点。还有两项题面普通的常数结果：用分数逼近 π 到底能多准——此前数学家只能证明"无理性指数"上界约 7.1，OpenAI 声称直接压到了理论最优值 2。另一篇则声称证明了卡塔兰常数是无理数。霍奇猜想只覆盖了复乘阿贝尔簇、K3 曲面乘积这类特殊对象，离猜想本身的完整陈述还差得很远；BSD 猜想、有理数域上的希尔伯特第十问题等成果目前均无形式化。机器之心量子位
清单里既有"证明"也有"证伪"，出现"反例"字样的成果族约有 50 个——Hadwiger 猜想、Kaplansky 系列猜想、Baum–Connes 猜想的无系数版本等，是被声称推翻而不是被证明的。形式化本身也有边界：计算机能确认推导逻辑自洽，但被验证的命题是否准确对应原猜想的真实数学内涵，仍要数学家逐条人工核对。机器之心DeepTech深科技
传播最广的编号 074 组声称证明了四维挂谷猜想：人类此前在四维上的最好结果是把维数推到约 3.059，074 号声称直接推到 4。这并非"AI 从零超越菲尔兹奖"——三维挂谷 2025 年由王虹与 Joshua Zahl 攻克，并让王虹在今年 7 月领得菲尔兹奖，074 组手稿正是踩在这套人类工作上往上盖了一层楼。且这两篇既无 Lean 验证，也没有同行评审，是最需要专家尽快审读的成果之一。宝藏人间机器之心
数学家的评价不是铁板一块：谨慎、抵制、接触三派并存
手稿上线当天，由九位学者组成、含三位菲尔兹奖得主（Timothy Gowers、Martin Hairer 与理论物理学家 Edward Witten）的独立数学与 AI 顾问组（AGMAI）即发声明：给 OpenAI 提过建议，不代表认可这些结果，也不代表认可它产出成果的过程。更前面的铺垫是 9 月 11 日，包括陶哲轩在内的 25 位菲尔兹奖得主联署公开信，警告 AI 公司的目标与数学界"严重错位"。10 月 7 日，陶哲轩全文转载"人类数学协会"（AHM）呼吁数学家停止与 OpenAI 合作的声明，其中被引用最多的一句是"一次性发布 700 多份文件，展示的不是学术研究，而是权力"。量子位宝藏人间DeepTech深科技
个体学者的反应更复杂。得克萨斯大学奥斯汀分校的 Francesco Maggi 并不反对用 AI 做数学，他担心的是结果产出的速度已经远远超过人类能理解的速度，数学家只能在后面追着 AI 跑。理论计算机科学家 Scott Aaronson 干脆把这一天称为"Mathocalypse"（数学末日）。他的妻子、长期深耕唯一游戏猜想的 Dana Moshkovitz 第一时间研读后，发现论文充斥难以理解的构造与语焉不详的推理步骤，几乎要借助 AI 才能读下去；即便如此，Aaronson 仍承认这很可能是数学史上极其重要的一天。量子位DeepTech深科技
主张"接触而非退出"的声音也在。菲尔兹奖得主 Martin Hairer 认为，数学家若拒绝与 AI 公司接触，也就很难再影响这些公司的行为。西北大学的 Bryna Kra 则肯定 AI 有望帮数学家攻克过去无法触及的课题，但坚持要看到写得清楚、能让同行阅读和引用的论文。DeepTech深科技量子位
所谓"范式被重塑"，实际动摇的是生产、验证、议程三个环节
先看生产端的速度差。据 OpenAI 介绍，模型此前一共尝试了约 4000 个研究问题，平均每项结果消耗的算力，约相当于 ChatGPT Pro 思考 3 小时。而按数学界惯例，单是其中一个结果被学界真正接纳，就可能需要数月乃至数年。这不是 OpenAI 第一次试水：今年 8 月，它公布过 10 项数学与理论计算机进展，很快被研究者指出部分成果存在论证缺陷和引用问题。量子位机器之心DeepTech深科技
再看验证端的成本错配。一篇 175 页的四维挂谷证明，全世界能认真读完的人屈指可数；722 篇一次性砸过来，核验成本整个转嫁给了数学共同体。OpenAI 已承诺出资办研讨会，帮助数学界研究这些成果。但出资方与产出方同体，由它买单的研讨会能否算独立的学术把关，目前没有答案。宝藏人间量子位
议程端的变化更直接。9 月，OpenAI 宣布其模型给出纳维–斯托克斯方程问题的解答后，纽约大学数学家 Tristan Buckmaster 质疑 OpenAI 抢先推进了他与 Anthropic 研究员 Levent Alpöge 正在开展的工作，双方至今仍有分歧。更早的 8 月闭门会上，约 40 名数学家建议 OpenAI 按学术标准提供论文、分批发布；部分与会者称当时以为不会一次放出所有成果，OpenAI 发言人则表示不清楚有过这样的承诺。对普通研究者，后果很实际：做同一问题的学者可能一觉醒来，发现自己耕耘几年的题目已被模型"声称"解决——对错还没人验证，选题已经没法做了。DeepTech深科技宝藏人间
陶哲轩的态度最能说明这轮争论的焦点。他长期支持用大模型和形式化工具推进研究，反对的是把数学难题变成单纯衡量模型能力的竞赛。被转载的 AHM 声明里，喊得最响的一句是"数学家们并没有请你们做这件事"。DeepTech深科技宝藏人间
而针对他提出的"数学 2.0"，有评论点破了争议实质：该淡化的不是解题在数学中的地位，而是解题在学术生涯里的兑换率——当"第一个解决"仍是发顶刊、评教职、拿大奖的硬通货时，等于逼所有人与一台每三小时出一枚结果的机器赛跑。验证 AI 的产出、提出值得解的新问题、把一个证明讲到人能懂——这些正在被重新定价的环节，才是"范式"二字真正的落点。宝藏人间
回到标题的问题：AI 正重塑数学研究范式吗？按现有证据，答案只能给一半：生产端已经是，承认端还不是——它已经改写了结果如何被批量生产，尚未改写结果如何被人类理解和接受。接下来值得盯住三件事：719 篇手稿经同行评审后有多少真正站得住；AGMAI 提出的公开模型信息、计算成本与失败记录，会不会从建议变成行业规则；数学界的评价体系是否开始为"验证、提出新问题、讲清楚一个证明"重新计价。计算机证明的先例是四色定理——当年也有人冷笑"这不是数学"，后来它进了教科书；不同的是，四色定理只有一篇论文，而现在是 719 篇同时压过来。
