AI 这一次证明的是自己生产答案的速度，而不是取代人类学者的能力。OpenAI 大批数学手稿引发的学界巨震，真正的焦点从来不是"机器能不能做数学"，而是数学界运行了几百年的发布、验证与议程规则正在被重新定价；最先被冲击的，也不是功成名就的教授，而是刚入行的博士生和青年研究者。
美国时间 10 月 6 日，OpenAI 在 GitHub 上线 openai/math 仓库，一次性公开 722 篇数学手稿，按结果相关性归为 372 个"结果族"，覆盖理论计算机科学、数论、几何、数学物理等 17 个领域，全部成果出自一个尚未对外发布的内部模型。微博知乎
发布后的 24 小时里，数学界没有欢呼。“既令人惊叹，又让人丧气”，成了英国《新科学家》观察到的学界高频反应。第二天，菲尔兹奖得主、UCLA 数学教授陶哲轩在自己的博客上全文转载了"人类数学协会"（AHM）的一份措辞激烈的声明，公开呼吁数学家停止与 OpenAI 合作，声明里那句"一次性发布700多份文件，展示的不是学术研究，而是权力"迅速传遍学术圈。10 月 10 日，《商业内幕》的报道记录了这场分裂：一些学者为突破振奋，另一些人开始为仍在攻克同样难题的人担忧。微博知乎微博
先把口径钉死：722 篇不等于 722 个问题
围绕这批手稿，流传最广的几个说法需要先校正。第一，722 是手稿的篇数，372 是聚合后的结果族，而且目录本身还在变动：发布次日就有 3 篇撤回、14 篇修订，篇数降到 719——把 722 当成"解决了 722 个难题"，是数错了对象。撤回的原因是符号错误导致的论证缺陷，不到24小时，OpenAI自己撤回了3篇；康奈尔大学副教授汤森已经怀疑还会有后续撤回。知乎知乎
真正让学界坐不住的是题目级别：准黎曼猜想、四维挂谷问题、唯一博弈猜想，任何一项坐实，都足以成为相应领域的重磅里程碑。但级别高不等于已坐实。以"OpenAI 证明了黎曼猜想"的传言为例：仓库第 003 组处理的是更弱的"准黎曼猜想"，给出的是零点无区域的界 θ=7/8，而黎曼猜想要求的是 1/2，7/8 与 1/2 之间仍有距离，"证明了黎曼猜想"的说法并不成立。另一篇 175 页的手稿直指四维挂谷猜想——这个方向此前刚由王虹与 Joshua Zahl 在三维上攻克。知乎知乎新智元
生产三小时，验证一代人："收据"才是命门
按仓库说明，模型是在内部评测中被给予约 4000 个开放研究问题、经聚合和重要性门槛筛选后形成这份目录的，平均每项结果约消耗 3 小时 ChatGPT Pro 的思考算力。这不是 OpenAI 第一次制造这种节奏：8 月它公布 10 项数学与理论计算机科学进展，很快就有研究者指出部分成果存在论证缺陷和引用问题。知乎知乎
与小时级的生产速度相比，验证端慢得多。约 42%（300/719）的顶层结果完成了 Lean 形式化，其余依赖人工审阅，而 OpenAI 自己承认未形式化部分"可能存在问题"。全部七百多份文件里，只有 10 份附了模型的推理链。更关键的一条来自 OpenAI 自己的口径：这堆新结果里，有很多连他们自己的数学家都还没搞懂。——人类第一次攥着一大把号称正确的答案，却没人说得清为什么。知乎知乎知乎
MIT 的 Andrew Sutherland 对《科学美国人》表示，在他人能够复现之前，"单个提示词、单个智能体完成"的说法都应视为未经验证：模型没发布，提示词没公开，失败的九成五问题也没公示——“我们要收据”。而且形式化本身也只是部分收据：它只保证"写进 Lean 的命题"被证明，该命题是否忠实对应原来的问题，还要另行核对——纳维—斯托克斯方程方向正因此被质疑，有研究者担心 AI 为了让代码"过 Lean"而改写了手稿原意，最终机器验证的版本与论文声明已有了不可忽略的差异。9 月 8 日 OpenAI 宣布解决纳维—斯托克斯方程存在性与光滑性这一千禧年难题时，争议就已经埋下。知乎知乎知乎
巨震的震中：被冲击的不是顶级数学家，是学术生态的中间层
纽约大学数学家特里斯坦·巴克马斯特在 CNBC 节目里把这轮冲击说得直白：一下子放出这么多成果，让他整个研究计划都被毁了。他对 OpenAI 的不满有更具体的来源——他公开质疑 OpenAI 抢先推进了他与 Anthropic 研究员莱文特·阿尔珀格正在开展的工作，OpenAI 否认不当使用相关研究数据，双方至今各执一词。凤凰网科技知乎
机构层面的担忧更制度化。伦敦数学会在 10 月 7 日的声明里点名的正是职业起步者：处在职业起步阶段的人群，包括博士生与青年研究者，很可能受到这一系列变化的最大冲击，共同体有责任保住他们的支持、学习机会和职业路径。陶哲轩的措辞更尖锐：他形容开放问题正在被大规模地、以不可持续的方式"收割"，整个领域因此变得比被解决之前更贫瘠；AI 生成命题、证明、反例的速度很快，人类验证、理解、写作、教学、吸收的速度跟不上，他把这称为数学界的"证明消化不良"。知乎知乎知乎
“贫瘠"在数学史上有现成的病例：1976 年四色定理被计算机证明之后，人类又等了将近二十年，才拿到一个能读完的简化版本——中间那二十年，它被标记为"已解决”，没人再去找更好的路，原来那条路又没人走得通。而这次被"宣布解决"的远不止一道题。一个博士生把五年生涯押在一个猜想上，猜想一夜之间被 AI 解出，学位、第一份工作、身份认同一起蒸发；更深一层是，当攻著名猜想不再是安全的选择，师徒传承赖以爬坡的中间台阶就断了。这才是"取代"焦虑的真实形状：被清零的不是能力，是年轻研究者赖以成长的路径。知乎
学界不是铁板一块：抵制的是规则，不是 AI
把 AHM 的声明读成"保守派护城河"并不准确。菲尔兹奖得主马丁·海雷尔明确主张接触：如果数学家拒绝与 AI 公司接触，也就很难影响这些公司的行为。知乎
最直接的批评者巴克马斯特，一边公开质疑 OpenAI，一边仍在用 OpenAI 的编程智能体 Codex 辅助自己的研究。陶哲轩本人更不是反 AI 符号：他长期给 OpenAI 做顾问和评议人，2025 年还在 YouTube 直播里用 AI 三十三分钟证完一个泛代数命题——这活儿人类合作者原本手写了一整页纸。他真正反对的从来不是工具，而是把"用 AI 快速攻克著名难题"当成数学的主要目标。知乎知乎
中文社区讨论最热的一条判断则点出了成本分配问题：AI 让"生成候选证明"变便宜，却让"判断对不对、有没有新意"的审阅变贵——跟 AI 写代码把成本从 coding 转嫁给 code review 是同一个逻辑。披露 AI 使用情况、给审稿人实质支持、署名责任留在人类手里、正确归因——学界要的不是路障，是交通规则。知乎
会不会"彻底取代"，盯住四个公开信号
这场争论短期内不会有终局判决，OpenAI 已承诺后续通过研讨会公布更多细节，而撤回、形式化、复现的进度本身就是答案。判断标准其实很简单：撤回与修订的节奏会不会失控；形式化比例能不能从四成覆盖到全部顶层结果；模型和提示词会不会公开；第三方能不能独立复现。知乎
回到标题里的问题。这轮发布暴露的不是数学家能力的终点，而是一个正在被重写的等式：当答案的生产成本趋近于零，数学的稀缺资源就从"得到证明"转移到"理解证明"和"提出值得问的问题"——而这两件事上，AI 目前既没有收据，也没有可验证的进步。“人类学者会被彻底取代吗”，眼下答案是：没有证据，方向也未可知；真正值得盯住的，不是某一篇 AI 证明又攻下了哪座山头的头衔之争，而是数学界能不能赶在答案的洪水冲垮规则之前，搭起一套新的验证、署名与人才培养体系。那才是"取代"与否真正的分界线。
