2026年10月6日，OpenAI 在 GitHub 上开了一个仓库，把未经发布的内部模型产出的数学手稿一次性摆上货架：初版共722篇，按结果归为372个「家族」，横跨17个数学领域。 最新仓库目录里，篇数已变为719——发布次日就撤下了3篇。 这轮风波真正的问题不是「AI会不会抢数学家的饭碗」：生产答案的成本暴跌，人类验证和理解答案的成本一分没降。黄金期还是危机，取决于谁来补上这个缺口、用什么方式补。机器之心GitHub
先把账算清楚：这是一批「还没验完」的答案
按 README 的披露，这批结果来自约4000道开放问题的提问，平均每个结果耗费约3小时「思考算力」。 OpenAI 同时承认：未形式化的结果「可能存在问题」。被撤的3篇，起因是一个符号错误令一篇论文的论证失效，并连带影响两篇依赖它的论文；另有14篇做了证明修补。GitHubGitHub
截至10月7日更新，仓库约42%（300/719）的头部结果完成了 Lean 形式化验证。Lean 是能用机器逐行检查推导过程的证明助手——换句话说，只有经过形式化的那一小部分，才算被「机器证人」看过；其余大部分结论，正等着全球数学家去读、去验、去反驳。GitHub
数学家的愤怒：不是解错了，是「理解」被跳过了
风波并非始于10月。9月，OpenAI 宣称其模型就千禧年难题纳维-斯托克斯方程给出了反例证明；一位MIT副院长在播客里回忆，自己读到第二页就「大脑宕机」，只能无奈承认「它是对的，但我根本看不懂啊」。 多伦多大学数学家 Daniel Litt 概括得更直白：「数学的目标不是生产论文，而是产生理解」——模型曾交给他一份正确却毫无洞见的10页暴力计算，他反而因此逼出了一个漂亮的概念性解释。新智元荔观Lab
2026年9月11日发表的《A Severe Misalignment of AI in Mathematics》宣言，首批署名28人数学界清一色菲尔兹奖得主，包括阿维拉、肖尔茨与陶哲轩。宣言的矛头不是AI能力本身，而是把「解决开放问题」当能力竞赛指标的做法：批量生产的对错陈述「could destroy fertile ground instead of breathing life into new ideas」。 理论计算机科学家 Dana Moshkovitz 研究了一辈子的唯一博弈猜想，就在这批手稿的102号家族里被「证明」了；在她眼里，这篇手稿「就像是吃了致幻剂的人写出来的东西」——没有同行评审，没有可读的人类逻辑。Math and AI官网荔观Lab
愤怒的底层是时间差：AI用工业化速度批量输出证明，人类验证、简化、吸收的速度没有变。学术审查系统先撑不住了——机器学习顶会ICLR十年前只有约一两千份投稿，今年暴增到约六万份，评审根本来不及消化。新智元
抵制、顾问、观望：数学界站成了三条线
最激烈的是今年8月才成立的「人类数学协会」（AHM）。它在10月7日的声明里写道——Releasing over 700 files at once is not a demonstration of scholarship, but a demonstration of power.（一口气放出700多个文件，不是学术的展示，而是权力的展示）。 入会承诺包括不向商业AI公司提供技术劳动、不发表AI生成的数学文本。据媒体报道，这个协会目前约800名会员且多数是研究生；陶哲轩虽在个人博客转载了声明，本人却不在会员名单里，一度被讹传为「领衔抵制」。AHM官网APPSO
讨论区里流传最广的反讽是：有人把这份反AI声明丢给检测工具 Pangram，结果显示100%由AI生成。APPSO
温和的一翼来自普林斯顿高等研究院牵头的「数学与人工智能咨询组」：9名资深数学家、独立无偿运作——OpenAI 曾接触其中成员想设外部顾问委员会，成员们最后选择了保持独立。它们在10月6日的表态是：“This release is the beginning, not the completion, of the process of human understanding”——发布只是人类理解过程的开端，而非完成，最终评估只能由数学界来做。AGM-AI官网
而宣言一派的立场比「抵制」二字复杂得多：原文承认 “AI offers the potential of enhancing and accelerating genuine mathematical study and understanding”，即AI能真正增强数学研究——他们反对的是发布方式与议程权：一家公司用公众无法访问的内部模型批量产出成果，再自行决定何时发布、发布什么，等于在替整个学科设定「什么算进步」。Math and AI官网
黄金期的信号藏在哪里
反证也在积累。OpenAI 的开发者社区已有人独立重新运行准黎曼假设结果的 Lean 检查，报告代码通过；还有人把一个矩阵乘法结果扩展到更一般的域，同样通过了检查——这意味着至少一部分结论已经可以被机器复核，而不是全凭 OpenAI 自述。 最受关注的两篇挂谷猜想手稿（97页攻三维极大函数版本、175页攻四维满维结论）也离不开人类铺垫：论证仍在复用 Guth、王虹与Zahl 的集合估计——机器走完的是最后一百米，路是人类修出来的。 OpenAI 还放出了部分结果推理过程的摘要版，并称正在探索社区托管的验证仓库——如果这些通道做实，722篇的意义会从「砸场子」转向「开矿」。APPSO新智元
判断的黄金期条件因此很具体：形式化比例能否从42%持续爬升、社区独立核验能否产出第一批「人类确认」的重磅结果（唯一博弈、准黎曼、四维挂谷都是试金石）、以及下一次重大突破的问题是人提出的还是AI提出的。播客结尾主持人问：孩子还得学数学吗？那位MIT副院长答得很干脆：「我觉得必须得学。」——当解答变得廉价，提出正确的问题、验证可疑的证明、把真理翻译成人能理解的东西，反而成了最稀缺的能力。新智元
这场风波真正的分歧只有一处：「理解」要不要被当作公共基础设施来建。建成，就是人类科研黄金期的开头；被一家公司的内部模型和发布日程垄断，才是数学界恐惧的危机。宣言里那句话适合做注脚——数学产出的不只是结果，更是塑造这些成果的同行们的理解力、清晰度与判断力。
