2026年10月6日，OpenAI在GitHub静默上传722篇AI生成数学手稿，覆盖372个成果族，不到24小时就因符号错误撤回3篇。此举引爆数学界：以陶哲轩为代表的顶尖学者高调质疑，丘成桐另起炉灶，两条路线正面交锋。
722
篇
10月6日一次性上传GitHub，相当于数学期刊约一整年产出
162
篇
附Lean形式化验证，占总量约22%；其余证明无机器可验证逻辑链
3
篇
发布不足24小时因正负号写错连锁撤回，另修订14篇
~3
小时
每项成果平均消耗ChatGPT Pro级算力，人类研究者同等难题往往需数年
4000
题
模型尝试解答的开放性数学问题总量，最终筛出约5%可用成果
25
位
菲尔兹奖得主联署反对声明，9月11日发布
事件时间线
2026年9月8日
OpenAI宣布攻克N-S千禧难题
OpenAI称内部模型用88小时解决纳维-斯托克斯方程存在性与光滑性问题，克雷数学研究所悬赏百万美元的七大难题之一。
2026年9月11日
25位菲尔兹奖得主联署公开信
陶哲轩、邓煜等联合发表《人工智能在数学中的严重错位》，批评AI公司将解题作为模型基准测试，与数学共同体核心目标产生显著分歧。
2026年10月6日
OpenAI在GitHub静默发布722篇手稿
无新闻发布会、无期刊同行评审、无正式新闻稿，直接创建openai/math仓库上传，覆盖数论、代数、几何等17个领域。
2026年10月7日
符号错误引发连锁撤稿3篇
一处+1/-1符号错误导致1篇论证失效，2篇依赖论文连锁失效，均涉及霍奇猜想；另修订14篇。
2026年10月7—9日
陶哲轩转载AHM声明，立场被误读
陶哲轩在个人博客全文转载人类数学协会（AHM）呼吁抵制声明，但其本人不在AHM会员名单，"领衔抵制"系媒体误读。
2026年10月11日
丘成桐在清华牵头成立数学与AI联盟
联盟瞄准数学专用大模型、形式化证明、猜想挖掘等方向，主张"在AI浪潮中冲浪，不能闭门躲藏"。
撤稿背后：五项规范缺口
透明度
模型名称未披露
仅称"内部前沿模型"，提示词与推理链均未公开，外界无法独立复现。
可验证性
78%未经形式化验证
722篇中仅162篇附Lean验证，其余无机器可验证逻辑链。
评审
跳过同行评审
直接上传GitHub，未走期刊流程，与AGMAI建议的公开标准有差距。
推理链
仅10份附推理摘要
AGMAI要求完整披露推理链，实际仅10份手稿公开思维链。
"一次性发布700多份文件，展示的不是学术研究，而是权力。"
——人类数学协会（AHM）声明
刚刚, openai撤回了三篇ai数学论文, 竟是因为符号写错了
机器Pro
陶哲轩质疑 openai 公司: 719 篇 ai 数学证明, 人类真的理解了吗?
IT之家
openai公布ai数学成果, 数百道悬而未决难题得到解答
太平洋电脑网
为何绕过期刊：发布策略的商业逻辑
1
算力成本极高，期刊流程时间不划算
每项成果平均消耗约3小时ChatGPT Pro级算力，4000道题的总产出走期刊审稿需数年。
2
静默上线，指向"先占位"逻辑
无发布会、无新闻稿，直接GitHub开仓——菲尔兹奖得主杰曼诺夫指出，这本质是为IPO造势的"学术掠夺"。
3
数据来源疑云：研究者申请书被输入AI？
纽约大学教授巴克马斯特担忧：评审专家撰写摘要时惯常将申请书内容输入模型，这些未发表材料是否帮助OpenAI生成了此批成果。
4
升级动作：9月攻克N-S后继续加速
9月N-S方程宣告突破已引发菲尔兹奖得主联署，10月批量发布被多方视为无视警告后的升级。
数学界三条路线
全面抵制
人类数学协会（AHM）
公开呼吁所有数学家停止与OpenAI合作：加入协会须承诺不向AI公司提供技术劳动力、不发表AI生成数学文本、研究中不使用AI模型。
声明于2026年10月7日发布，陶哲轩个人博客全文转载
人机协作
丘成桐·清华数学与AI联盟
10月11日在清华牵头成立联盟，主张"AI冲击如海啸，要冲浪而非躲避"。认为AI无法理解科学真理，原创观念仍源于人的直觉与想象力，但AI趋势会重塑科研范式。
新京报，2026年10月12日
理性质疑
陶哲轩（UCLA，菲尔兹奖得主）
转载AHM声明但本人不在该组织；提出"证明消化不良"概念——AI能高速生成证明，但人类来不及验证、教学和吸收，代际传承链条面临被切断的风险。
陶哲轩个人博客，2026年10月7日
陶哲轩宣战, 杨立昆唱反调: ai是毁灭数学还是开启新时代?
夜春阅览趣事
陶哲轩转发抵制声明, 数学界和openai彻底撕破脸
爱范儿
ai批量产出数学成果,丘成桐:冲击如海啸,要冲浪而非躲避
新京报网
对在研数学家的直接冲击
📋
整套研究计划被打乱
《The Verge》采访逾30位数学家，多人整套研究计划受到严重影响；纽约大学巴克马斯特明确称"我们整个研究计划都被毁了"。
⏸️
论文完成90%却陷入发表困境
有研究者论文已接近完成，却卡在是否提前交卷的两难抉择上。
🔗
"证明消化不良"：代际传承链条断裂
AI生成速度远超人类理解与消化速度。伦敦大学学院约翰逊研究沃尔D(2)问题25年，问题进入OpenAI解决清单后他直接放弃了该方向。
🤝
合作传统面临瓦解
西北大学教授指出，数学极注重合作，但"OpenAI没有任何人能针对这些成果中的任何一项作学术报告或回答技术问题"。
722篇含金量：最可核实的五个信号
仅162篇（约22%）附Lean形式化验证，其余证明无机器可验证逻辑链，只交了答案，没交推导链。
发布不足24小时因基础符号错误（+1/-1）撤回3篇，康奈尔大学数学副教授汤森表示"怀疑还会发现更多错误"。
AGMAI明确建议披露模型名称、提示词、推理链等信息，但实际仅10份手稿公开推理摘要。
"372个结果族"分类方式由OpenAI自定义，外界无法独立判断成果间重叠度。
约42%顶层结果经过Lean形式化验证（OpenAI官方口径）与162篇（约22%）的独立统计口径存在差异，需注意统计方式不同。
openai宣布攻破数百个难题, "数学之死"担忧成真?
人人都是产品经理
openai让数学家也陷入了打工人的焦虑
人人都是产品经理
"你想毁掉自己的职业生涯吗?"
中国新闻周刊