事件速览
曾是数学界最积极的AI布道者，菲尔兹奖得主陶哲轩如今宣布自己进入"战时状态"——两颗来自OpenAI的重磅炸弹，让他与整个数学界的集体反弹正式公开。
722
篇
OpenAI 10月6日一次发布的AI生成数学预印本
25
位
与陶哲轩联名发出公开信的菲尔兹奖得主
3
篇
因符号错误（+1/-1混淆）被OpenAI撤回的手稿
事件脉络
2026年10月16日
陶哲轩《纽约时报》专访发布
陶哲轩在专访中宣告"我正处于战时状态"，成为此次风波的最高潮。
2026年10月8日
OpenAI再撤14篇、更新13篇引用
成果更新日志显示手稿总数从722降至719，学界对AI生成内容可靠性的忧虑进一步加深。
2026年10月7日
陶哲轩博客转载AHM抵制声明
人类数学协会（AHM）措辞严厉的声明被陶哲轩全文转载，呼吁数学家停止与OpenAI合作。
2026年10月6日
OpenAI一次发布722篇数学手稿
涵盖数论、代数、拓扑等所有数学分支，372个成果组，多名年轻学者苦熬多年的课题被AI截胡。
2026年9月
25位菲尔兹奖得主联名发出公开信
OpenAI宣称攻克纳维-斯托克斯存在性与光滑性问题后，陶哲轩联合同行警告AI公司放缓脚步。
2026年3月
陶哲轩为OpenAI拍赞助宣传视频
研究所经费短缺，陶哲轩配合OpenAI拍视频拉来约六七万美元紧急赞助——彼时他仍是AI最坚定的背书人。
2023年起
陶哲轩积极拥抱OpenAI工具
查文献、写代码、辅助计算，他是最早把AI嵌入科研工作流的顶尖学者，并公开向同行安利。
陶哲轩公开声援抵制openai, 数学界与ai巨头矛盾升级
DeepTech深科技挖掘
从"坐不住"到"不买账", 陶哲轩称ai的数学成果是"有毒废料"
钛媒体
触发链：两颗炸弹击穿了他的预判
第一颗：纳维-斯托克斯宣告
OpenAI调用1万个智能体连续跑88小时，生成165页证明，算力成本估计600万至2200万美元。证明吐出来了，但没有一个"作者"能出来做学术报告、跟同行交流思路。陶哲轩问遍同行，没人能真正读懂全部论证。
第二颗：722篇手稿一夜倾泻
10月6日一次性发布涵盖所有数学分支的722篇预印本，多名年轻学者苦熬数年的初级研究课题瞬间被AI覆盖。陶哲轩提前一个月就知道发布计划，他反对了——反对无效。
"一次性发布700多份文件，展示的不是学术研究，而是权力。"
——人类数学协会（AHM）联合声明
722篇手稿：可信度边界在哪里
撤稿是怎么发生的？
发布次日，OpenAI因一处符号错误撤回3篇涉及霍奇猜想的手稿：关键论证把一类几何操作记成+1，按论文自身约定应是-1，原本归零的计数变成非零，整套构造失效，依赖此构造的另两篇被一并撤回。
3篇是小事吗？
被撤比例不足0.5%，但错误类型是基础符号混淆，非边缘瑕疵。西北大学数学教授布赖娜·克拉警告：数万页成果亟待核验，"而在这个过程里，同行评审却缺位了"。
OpenAI的测试规模有多大？
AI共测试约4000个开放性数学问题，筛出约5%可用成果，平均每攻克一道高难度题目仅需3小时模型运算。
陶哲轩宣战, 杨立昆唱反调: ai是毁灭数学还是开启新时代?
夜春阅览趣事
数学家联合抵制ai! 陶哲轩带头发声, ai在这一点确实比不上人类
小鲸子
各方立场：三个分歧，三条阵营
强烈反对
陶哲轩 × AHM（25位菲尔兹奖得主）
发布节奏与学界消化能力严重错配。AI能证出来，但背后没有人理解它——"证明"的含义正在改变。人类在漫长探索中建立的直觉、概念框架和意外发现的新工具，才是纯数学最宝贵的东西。
来源：AHM联合声明；《纽约时报》2026.10.16专访
审慎观察
牛津教授 Martin Bridson（克雷所所长）
这次发布"令人惊叹"，但警告数学界"拥抱机器提供的力量，不应被它们牵着走"——承认成就，同时对盲目跟随保持警惕。
来源：《纽约时报》报道
保留态度
杨立昆（Yann LeCun，Meta AI）
对数学界的集体反弹持保留意见，未全面认同"AI正在摧毁数学"的判断，认为各方对AI能力边界的评估可能过于悲观。
来源：公开表态
深度反思
邓煜（菲尔兹奖得主，芝加哥大学）
与陶哲轩共识：解题只是理解的工具，不是终点。问题不在AI能不能解题，而在解出来的东西谁来负责理解、如何回到数学的传统之中。
来源：SAIR基金会播客对谈
博士培养机制的具体冲击
⚡
初级课题被截胡
722篇手稿发布后，多名年轻学者苦熬数年的研究方向被AI覆盖。对博士生而言，"想得出一个问题方向"本身就是训练的核心，这一环节正在失效。
🧠
"证明消化不良"——稀缺资源转移
陶哲轩定义：AI一分钟能提一百个方向，人类一年消化不完一百个。稀缺的不再是"想得出"，而是"判断力与消化力"——而后者目前无法被系统化培训。
⚠
学术情绪集体崩塌
康奈尔应用数学家Steven Strogatz在媒体采访中落泪："2026年将被记住，或者作为数学的奇迹之年，或者作为灾难之年。"
ai攻陷数学界! 陶哲轩警告: 速度疯了, 博士培养机制要崩
夜春阅览趣事
陶哲轩扔出重磅炸弹! ai正在活活掐死数学, 百年根基一夜被掏空!
夜春阅览趣事
读懂这场争议的三个概念
什么是"证明稀缺时代"结束？
过去百年，数学靠"证明稀缺"运转：一道难题极难攻克，谁解出来谁就掌握话语权。陶哲轩在"数学2.0"演讲中宣告：AI把人类拉进了"证明充沛时代"，证明不再稀缺，但理解仍然稀缺。
为什么数学是最先被AI冲击的领域？
陶哲轩总结三点：①客观可验证，对错可交给Lean等语言机械扫描；②高度数字化，不需要实验装置；③拥有海量高质量历史文献。三点恰好是机器学习最擅长的赛道。
"解题只是理解的工具"是什么意思？
陶哲轩与邓煜共同指出：过去数学界奖励解题，因为解题者往往也真正懂了它——能讲清楚、提出新问题、带出学生。AI的解题和这套完整活动之间，现在是断开的。
如果你是数学从业者，怎么看这件事
1
冲击是真实的，但边界仍在纯数学
目前AI对学术生态的颠覆性冲击，主要集中在纯数学的"证明生成"环节。向其他学科传导的速度和边界尚不确定，不宜泛化恐慌。
2
稀缺资源已经转移，需要重新定价
陶哲轩的判断：稀缺的将从"想得出"转向"判断力与消化力"。学术训练若仍以"解出难题"为核心指标，投入产出比已在快速恶化。
3
质量争议提供了一个可追查样本
3篇撤稿的直接原因是基础符号错误（+1/-1混淆），这不是概率问题，而是AI生成内容在无同行评审机制下的结构性风险——可以用来量化"信任阈值"。
4
陶哲轩的愤怒有具体坐标，不是情绪
从2023年积极背书，到2026年3月为OpenAI拍宣传视频，到提前一个月反对发布计划但无效——他的态度逆转有明确的利益损失节点，不是价值观转变。