OpenAI开源722数学手稿 准黎曼猜想被攻克

时间：2026年10月7日 地点：美国旧金山 / GitHub 全球同步 人物：OpenAI 数学团队、普林斯顿高等研究院 AGMAI 顾问组、北大数学出身的 OpenAI 研究员苏炜杰、菲尔兹奖得主陶哲轩、纽约大学客座教授 Nestor Guillen 事件详情：OpenAI 一次性向 GitHub 仓库 openai/math 推送 722 份数学手稿、372 组研究家族、235 份 Lean 形式化证明与 10 份模型推理摘要；模型在评估阶段共尝试约 4,000 个研究问题，平均每项结果消耗约 3 小时 ChatGPT Pro 等价算力，总计约 4.5 万小时 GPU 推理 核心成果： - 第 003 组「准黎曼猜想」：证明 ζ 函数与所有狄利克雷 L 函数在实部 > 7/8 区域无零点（独立证明给到 11/12），并一致排除朗道-西格尔零点，已完成 Lean 形式化验证 - 第 032 组「霍奇猜想」：对所有复 CM 阿贝尔簇证明有理霍奇猜想 - 第 074 组「挂谷猜想」：同时声称解决三维极大函数猜想与四维豪斯多夫维数猜想 - 第 102 组「唯一游戏猜想」：基于 Subhash Khot 2002 猜想给出 Max-Cut、顶点覆盖等问题的最优近似难度门槛 - 第 004 组「Hilbert 第十问题有理数版」：通用判定算法不存在 - 第 002/006 组「BSD 公式」：每条有理椭圆曲线均存在密度为 1 的二次扭曲族使完整 BSD 公式成立 背景：从 2026 年 8 月 openai/ten-proofs（10 题 Lean 形式化）→ 9 月公开 Navier-Stokes 求解 + 100 余跨领域难题 → 10 月 722 份手稿挤爆 openai/math 仓库，星标 3 小时即破 2k；同步配套发布论文修订、引用协议与训练推理摘要 数学界反弹： - 25 位菲尔兹奖得主联名公开信反对把数学当 benchmark - 陶哲轩亲自牵头炮轰 AI 巨头的「披露姿态」 - 纽约大学客座教授 Nestor Guillen 直言「AI 巨头像黑帮垄断智慧权力」 - 部分 OpenAI 工程师私下认为「古典数学已经死亡」，苏炜杰则形容为哥白尼式范式转折 总结：AI 数学研究进入「批量提交 + 机器验证 + 人类润色」三位一体阶段，OpenAI 用 722 份手稿一次性刷新千禧难题版图；但 25 位菲尔兹奖得主与 AGMAI 顾问组的双重质疑表明，数学社区正推动建立 AI 数学论文披露新规范；这是数学发现范式的哥白尼级转折，也是顶级智力权力再分配的起点 参考来源： - https://openai.com/index/sharing-ai-progress-in-mathematics/ - https://github.com/openai/math - https://www.ai.jp.net/article/openai-claims-internal-ai-proved-results-related-to-the-riemann-hypothesis-relea-e24f5a - https://interestingengineering.com/ai-robotics/openai-largest-math-release-lean-proofs - https://news.qq.com/rain/a/20261007A03GPM00 - https://finance.sina.cn/2026-10-07/detail-iniukaaq6305205.d.html - https://c.m.163.com/news/a/L8KI53AQ0511DSSR.html - https://m.sohu.com/a/1084633998_122066679 - https://www.36kr.com/p/4013928129122184