OpenAI一口气抛出了722篇数学手稿，声称在372个未解问题上取得进展。结果第二天就撤回3篇，原因是符号错误。
菲尔兹奖得主陶哲轩随后公开声援人类数学协会的抵制声明，用他自己的话说：完全是疯了，必须慢下来。
一边是AI公司批量产出证明，一边是顶尖数学家集体宣战，这场冲突把「AI能不能做数学」从实验室话题，变成了学术圈的公共事件。
对普通读者来说，722篇手稿只是一个数字；对数学界来说，这几乎是一整年的期刊产出量。
OpenAI把这批成果挂到GitHub上，没有走同行评审，也没有公布模型名称，只说来自一个内部模型。这种「先发制人」的姿态，从一开始就让不少数学家感到不适。
一夜抛出722篇，数学界炸锅
据澎湃新闻与多家科技媒体报道，10月6日，OpenAI在GitHub发布722篇数学手稿，划分为372个结果族，覆盖几何、代数、计算机科学等17个领域。
官方仓库说明称，内部模型被提出约4000个数学问题，约42%的顶层结果经过了Lean形式化验证。
数学期刊的审稿通常要数月甚至数年，OpenAI一天就交付722篇。不少学者吐槽，这种工业化产出让传统学术流程形同虚设。
手稿规模之大，在数学界几乎是前所未有。OpenAI在说明里也承认，未经过形式化验证的部分可能存在问题，会尽快修复。这句话很快被证明不是谦虚，而是预告。
图1｜数学家陶哲轩在IPAM炉边对话现场
次日撤回三篇，OpenAI忙补救
发布第二天，OpenAI就撤回了3篇手稿。据学术打假网站Retraction Watch报道，一个符号错误让一篇论文的论证失效。
这个错误还连累了另外两篇依赖它的论文。另有14篇被修订，13篇更新了引用关系。
麻省理工学院教授Andrew Sutherland对媒体坦言，撤回是负责任的做法。
但很多数学家对OpenAI至今的行为并不满意，要赢回信任，光靠这些远远不够。
面对质疑，OpenAI在GitHub上回应称，正在努力为所有结果提供形式化验证，并感谢社区反馈。
但数学家认为，这回避了更根本的问题：为什么在验证完成之前，就要一次性抛出这么多成果？
康奈尔大学的Alex Townsend也说，数学界本来就对AI存有怀疑，OpenAI应当先公布经过Lean验证的那部分成果。
剑桥和伦敦国王学院的研究者还发现，一篇关于Navier-Stokes方程的证明，其自然语言部分与Lean代码并不一致。
这些细节让「技术失误」的解释显得越来越单薄。
图2｜OpenAI旧金山总部先锋大厦外景
陶哲轩转载声明：这是权力展示
真正点燃火药桶的，是人类数学协会（AHM）的一份声明。声明说得很重：这不是学术，是权力；数学家们并没有要求进行这项工作。
协会还呼吁同行停止与OpenAI合作。这份声明本身已经够激烈，而把它推上风口浪尖的，是陶哲轩。
陶哲轩在个人博客转载了这份声明。他在接受TechCrunch采访时说，问题正被对领域毫无兴趣的AI提示者自主「解决」。
他们一旦达成目标，既不理解AI输出，也无法与领域互动。用他自己的话说：完全是疯了，必须慢下来。
普林斯顿的Scott Aaronson把发布日形容为「数学末日」。他的妻子、计算机科学家Dana Moshkovitz说，这些论文读起来像是致幻剂写出来的。
哈佛教授Melanie Wood则提醒，成果发布时还没有人类真正理解它们，真正的工作才刚刚开始。
据爱范儿梳理，陶哲轩本人并不在AHM的会员名单里，但他依然选择转载声明、公开声援，这让这场抵制显得更有分量。
图3｜OpenAI官方标志
AI观察者：速度竞赛透支学术信任
在AI观察者看来，OpenAI这次的操作，问题不在AI能不能证明定理，而在于以批量发布的方式收割未解问题，正在透支学术信任。
数学家愤怒的，不只是错误本身，而是这套流程对学术共同体的漠视：论文还没被人类读懂，就先被机器「宣判」了。
AI观察者注意到，OpenAI的回应停留在技术层面：撤回、修订、尽快修复。
但学界要的不是修补，而是一个更基本的态度——在把成果交给世界之前，先让人类理解它。
形式化验证能检查逻辑，却无法替代人类对命题意义的判断。数学不只是对错，还有洞察与美感。
Lean形式化验证是数学界近年公认的可靠工具，但它只保证逻辑上没出错，不保证命题本身有意义。
OpenAI把42%的顶层结果做了Lean验证，说明剩下58%的结论还停留在模型输出的层面。
这场冲突的本质，是两种速度的碰撞。AI可以一夜生成几百篇手稿，人类同行却需要几个月甚至几年去验证、消化。
对年轻数学家而言，AI批量产出还可能挤压发表空间、动摇基金评审，这是职业层面的真实焦虑，远比「AI能不能证明定理」更现实。
在AI观察者看来，OpenAI并非第一次用数学展示AI能力，但这次规模让矛盾彻底暴露。
学术信任需要几十年积累，而一次批量发布、又批量撤回的操作，消耗信任的速度远比建立它快。
这次事件还暴露了一个尴尬的事实：AI公司把数学当广告牌，数学家却要为它的错误买单。
一旦公众把「AI证明」与「数学突破」画上等号，真正做研究的人，反而要花更多时间解释、辟谣、纠错。
数学界要的，不是更快的答案，而是更可靠的答案。
回到最初的问题：AI能不能做数学？这场风波给出的答案，比任何一个模型都更接近真相——AI能生成证明，但学术界还没有准备好相信它。
图4｜菲尔兹奖章正反面
未答之问：AI数学还有回头路吗
有人建议OpenAI放慢节奏，先公布经过验证的少量成果；也有人主张完全禁止AI参与数学研究。两种声音都存在，说明答案远未统一。
也有乐观者认为，这场争吵本身就是进步的代价，AI终将找到与人类合作的方式。但至少现在，陶哲轩和数学界的态度很明确：慢下来，先想清楚。
陶哲轩提醒，一个问题一旦被宣称解决，就不会再回到未解决的状态。
那么，被AI「收割」过的数学分支，还剩下多少空间留给人类探索？OpenAI没有给出答案，数学界也在等。