OpenAI一夜发722篇数学手稿 多项世纪猜想被攻克

时间：2026年10月6日（OpenAI 在 GitHub 公开），中文媒体10月7日集中报道 地点：GitHub openai/math 仓库 / 加州旧金山（OpenAI 总部） 人物：OpenAI 首席科学家 Jakub Pachocki、OpenAI 发言人 Lindsay McCallum、菲尔兹奖得主 Terence Tao（陶哲轩）、纽约大学访问数学教授 Nestor Guillen、西北大学数学家 Bryna Kra、AI 教父 Geoffrey Hinton、Yoshua Bengio、Anthropic 联合创始人 Jack Clark 事件详情：OpenAI 在 GitHub 一次性发布 722 篇数学手稿，归入 372 个成果族，全部由一个尚未发布的内部前沿模型产出，覆盖准黎曼猜想、霍奇猜想、唯一游戏猜想、四维挂谷猜想、马勒猜想、黎曼 zeta 函数零点区域、海森堡铁磁体自发磁化、π 的无理性指数、自由群因子同构等数十项重大数学难题。仓库分三层：preprints 目录放 PDF 源文件、lean 目录放 Lean 4 形式化证明、reasoning_traces 目录放模型推理摘要。每道题平均消耗 3 小时 ChatGPT Pro 推理算力，总共向模型提出约 4000 个问题。 背景：时间线显示 OpenAI 数学突破呈指数级增长——8 月公开 10 道未解问题（仓库 openai/ten-proofs）、9 月宣称解决 Navier-Stokes 千年难题外加 100 多个跨领域问题、10 月直接甩出 722 篇。8 月 OpenAI 曾召集约 40 位数学家开会，承诺"不会一次全部放出来"，但发言人 Lindsay McCallum 10 月 6 日回应"不知道有过这样的保证"。9 月陶哲轩联合 25 位菲尔兹奖得主发表公开信《人工智能在数学中的严重错位》，炮轰 AI 公司把数学当 benchmark 刷。 影响：纽约大学 Nestor Guillen 直言"数学家中间有种感觉，觉得 AI 公司的行为像黑帮"；西北大学 Bryna Kra 称建议"显然被忽略了"；WIRED 报道标题为《OpenAI Is Pissing Off a Bunch of Mathematicians—Again》。陶哲轩提出"Proof Indigestion（证明消化不良）"概念，指出证明流程五步——提出解答、机器验证、翻译成人话、同行消化、写进教科书——AI 在前两步狂飙，后三步进展几乎为零。更深远的是，9 月 28 日 Hinton、Bengio、Jakub Pachocki、Jack Clark 等 20 多位人物联合发表工作论文《如果自动化 AI 研发引发了智能爆炸怎么办？》，披露 Anthropic 内部 AI 系统已在仅有高层监督下独立完成 26% 的 AI 研发工作，五个月前这一数字还只是 1%。数学领域的"量产"既是 AI 能力突破，也是 AI 加速自我迭代的最新注脚。 总结：OpenAI 一夜 722 篇数学手稿事件标志着机器证明进入"量产阶段"——难处从"解不解得出来"变成了"人类验不验得过来"。当确认知识的同行评审体系被机器产量甩在身后，科学信用体系的地基正在被动摇。陶哲轩所担忧的"必须慢下来"，或许已成为 AI 时代数学界最迫切的诉求。 参考来源： - https://m.sohu.com/a/1084643192_122014422 - https://www.36kr.com/p/4015466508816520 - https://k.sina.com.cn/article_5952915705_162d248f906703q0z4.html - https://www.163.com/dy/article/L8LG5DSQ0511AQHO.html - https://github.com/openai/math - https://x.com/OpenAI/status/2107596713791767021 - https://x.com/kimmonismus/status/2107570370937303356