10 月 6 日，OpenAI 在 GitHub 上一次性公开了 722 篇由内部 AI 模型生成的数学手稿，涉及 372 个成果组，涵盖数论、几何、代数、理论计算机科学等多个领域，其中不乏"准黎曼猜想"、四维挂谷这类著名的开放难题。 第二天，数学界还没来得及道谢，勘误单先到了：10 月 7 日，OpenAI 发布仓库第一份更新日志，撤回 3 篇手稿、修订 14 篇、13 篇更新引用，总数从 722 降为 719。 撤回的直接原因简单得惊人：一篇论文在论证中需要某个特定值为零，却在加减号上出错，把"－1加－1等于－2"写成了"－1加＋1等于0"，必要条件随之失效；这份草稿以及依赖其计算结果的另外两份一并撤回。 原稿没有被删除，仍可通过归档链接查看。DeepTech机器之心IT时代网
这件事对用 AI 学习的学生党，最有用的启示是：连全球最强 AI 实验室的数学产出都还是"草稿级"，AI 给出"看起来对的答案"的速度越快，真正决定作业、论文乃至学位安全的，就越是你核验答案的那部分能力。回看这批手稿和随之而来的验证过程，有三类雷值得每个学生对照自查。
撤稿暴露的三类雷
第一类：大多数"成果"其实还没有经过机器核验。据 OpenAI 披露，整个评估过程中模型一共尝试了解答约 4000 道数学问题，平均每个结果消耗的算力，相当于 ChatGPT Pro 约三个小时的"思考计算量"。 而这里所谓"机器核验"指 Lean 形式化——把证明翻译成形式语言，让计算机逐行检查逻辑链条。截至 10 月 7 日的更新，719 篇手稿里只有 300 篇的主结果完成形式化，约 42%。 换句话说，58% 的顶层结果压根没有 Lean 把关，OpenAI 自己的 README 也承认：部分未形式化的结果可能存在问题。DeepTech机器之心知乎
第二类：通过了"验证"，未必验证的是你问的那道题。发布当天，剑桥大学与伦敦国王学院的研究人员就发现，OpenAI 对纳维–斯托克斯方程解法的说明，和用于计算机验证的代码之间存在出入：代码验证的是加了更强条件的版本，机器"跑通"并不必然证明论文声称的那一步成立。 他们也澄清，仅凭这一出入不足以否定 NS 解法的最终结论，涉及该方程的草稿并未被撤回。翻译错位、偷换条件，和 AI 做题时悄悄换成"相似题解法"是同一种错误：结论看着都对，就是可能答的不是你的题。IT时代网
第三类：瓶颈已经从"生产答案"挪到了"看懂答案"。研究唯一博弈猜想二十多年的理论计算机科学家 Dana Moshkovitz，在这批手稿里读到了"她的猜想已被证明"，连夜看完全文后给出评价：这感觉像是吃了致幻剂的人写出来的东西，没有 AI 辅助根本读不懂。 生产的成本崩塌了，理解的成本原地不动。 一个毕生研究这个猜想的人，需要借助 AI 才能读懂一份关于她毕生工作的证明——当你把作业彻底外包给 AI 时，你就是整条验证链上最弱的一环。量子位知乎
连报道数字都有两套口径：查信源是第一道避雷
这场风波本身还免费演示了一轮"AI 时代的信息雷"。同一份"形式化率"出现了两个版本："约六成"是按成果族统计——一族里只要有一篇附带形式化就计入；42% 是按单篇主结果统计，更接近被计算机逐行检查过的真实比例。 换个口径，"已验证"的印象就能翻倍。学生党引用任何二手数据前先回原文对一遍统计口径，是成本最低的避雷动作。机器之心
把"同行评审"翻译成三个学习动作
数学界已经现场演示了怎么消化 AI 手稿，学生可以直接抄作业。第一，把 AI 的回答当"待验证的草稿"而不是终稿：一个正负号错误能连坐三篇论文，期末论述若踩在未核验的 AI 结论上，依赖它的整条论证链一起塌。第二，优先采信带可核验证据的回答：对照更新日志和仓库目录，这次被撤回和实质修订的内容，几乎全落在没有 Lean 形式化的部分。 AI 给结论时，先看它配没配完整推导、可运行代码或可点击的原始出处，只有一句漂亮话的结论按"未形式化手稿"打折处理。第三，先看题干再看答案：核对 AI 解的是不是你的题，条件和问法都对上，结论才有意义；同时保留 AI 原始回答和你的验证过程，OpenAI 这次勘误之所以被评价为规范，就赢在错误写明、依赖链交代、旧版本留痕可查，发现错了能顺藤摸瓜全链路修正。机器之心
撤稿不等于命题被证伪：验证才刚开始
边界也要讲清楚：OpenAI 在撤稿说明里强调，撤回的是证明，并不意味着这些数学命题本身是错的。 出问题的那一族中，"对所有复 CM 阿贝尔簇证明有理霍奇猜想"的核心结论仍然保留，新版本只更新了引用。OpenAI 表示错误是内部审查发现的，将尽快更正、无法修正就撤稿。 截至 10 月 10 日，撤回名单仍停留在这 3 篇，其余 719 篇是否成立，取决于全球数学界接下来几年甚至更久的消化验证。机器之心IT时代网
争议两端的信号也值得学生看清。成立刚两个月、成员约 800 人的"人类数学协会"（AHM）呼吁数学家停止与 OpenAI 合作，其会员承诺之一就是不发表 AI 生成的数学文本，而它 2026 年 8 月才成立，成员大部分是研究生。 图灵奖得主杨立昆的态度则相反：形式证明将大幅自动化，重点转向发展新概念、新抽象、新猜想，船的发明降低了游泳的重要性，却让我们发现新大陆。 而牵头转发 AHM 声明的陶哲轩，自己就是 Lean 证明语言的重度使用者，他反对的从来不是 AI 做数学，而是把"解出难题"当成唯一计分板。学生党同理：不必因为一次撤稿放弃 AI 辅助学习，用它讲清难概念、搭初稿、出变式练习都行；但学校对作业和论文使用 AI 普遍有申报或限制要求，越界的用法先查校规。知乎量子位
这场撤稿风波给学生的最终一课可以压缩成一句话：当 AI 让"生产答案"变得廉价，"能验证答案的人"才稀缺——把每个 AI 回答当成自己验证的起点，而不是作业的终点，这就是用 AI 学习最实在的不踩雷路径。
