OpenAI发175页手稿 推四维挂谷满维证明

事件时间：2026年10月6日 OpenAI 在 GitHub 公开 722 篇数学手稿，10 月 9-10 日中文与海外媒体广泛报道。 事件地点：美国旧金山 OpenAI 总部 + GitHub 全球开源平台（仓库 openai/math）。 关键人物：OpenAI（未公开名称的内部前沿模型）；王虹（麻省理工学院博士、法国 IHES 终身教授、2026 年菲尔兹奖得主、第三位女性得主）；陶哲轩（2006 年菲尔兹奖得主）；人文数学协会；Joshua Zahl（王虹合作者）。 事件详情：OpenAI 于 2026 年 10 月 6 日在 GitHub 公开 722 篇数学手稿，归为 372 个结果族。其中第 074 族包括两篇挂谷猜想稿件：一篇长达 175 页、证明四维挂谷集豪斯多夫维数等于 4，把人类此前 3.059 维的最佳纪录推到理论上限；另一篇 97 页、瞄准难度更高的三维挂谷极大函数猜想。同期手稿还涉及准黎曼假设、Khot 唯一游戏猜想、CM 阿贝尔簇上的 Hodge 猜想等。每题平均仅耗 3 小时 ChatGPT Pro 思维算力。仓库不到 24 小时收获 1 万颗星。 事件背景：挂谷猜想由日本数学家挂谷宗一于 1917 年提出，研究"无粗细针在 n 维空间内掉头 180 度所需的最小集"。戴维斯 1971 年证完二维情形，王虹与 Zahl 2025 年 2 月交 127 页论文攻下三维集合版，王虹于 2026 年 7 月凭此获菲尔兹奖，成为首位本科在中国大陆高校获得该奖的女性数学家。OpenAI 新手稿直接接续这一推进，且第 074 族论证中多处依赖 Guth、王虹与 Zahl 的集合估计。 行业影响：陶哲轩等菲尔兹奖得主与"人文数学协会"10 月 7 日发声明，批评一次性放出 722 份手稿"不是学术展示，而是权力展示"，多数手稿未经独立验证且未走 Lean 形式化通道。康奈尔 Alex Townsend 估计更多手稿将被发现错误。截至 10 月 10 日，OpenAI 已撤回 3 篇、修正 14 篇。Sam Altman 公开宣称"新发现时代"。 事件总结：OpenAI 用未公开模型 3 小时产出数学史上有分量的论证，但审阅速度跟不上产出速度。175 页四维稿若经受住同行逐行核验，将标志 AI 正式参与纯数学前沿；否则将印证陶哲轩担忧："当定理不再稀缺，分配注意力的方式才是真问题"。下一步悬念：第 074 族四维证明能否进入主流数学共识、以及 OpenAI 这 722 篇中还将被召回多少篇。 参考来源： 1. OpenAI 数学手稿 GitHub 仓库（含 074 号四维稿与三维极大函数稿）：https://github.com/openai/math 2. 36氪《王虹攻下的三维挂谷猜想，OpenAI 放出175页四维证明稿》（2026-10-10）：https://www.36kr.com/p/4019356333002630 3. 虎嗅《王虹靠三维挂谷拿菲尔兹奖，OpenAI 用3小时解决了更难的四维版》（2026-10-09）：https://www.huxiu.com/article/4896093.html 4. AGI Hunt《OpenAI Drops 722 Math Papers from Secret Frontier Model, Claiming Quasi-Riemann and Kakeya Breakthroughs》（2026-10-07）：https://agihunt.info/en/p/1a1144631b8b65b78426222e93b 5. NYU 上海 RITS《OpenAI Drops 722 Math Manuscripts From an Unreleased Model》（2026-10-08）：https://rits.shanghai.nyu.edu/ai/openai-drops-722-math-manuscripts-from-an-unreleased-model 6. 北京大学新闻网《PKU alumni Wang Hong and Deng Yu awarded prestigious Fields Medal》（2026-07-23）：https://newsen.pku.edu.cn/news_events/news/focus/15623.html 7. CNRS Mathematics《Mathematician Hong Wang awarded the 2026 Fields Medal》（2026-07-23）：https://www.insmi.cnrs.fr/en/cnrsinfo/mathematicienne-hong-wang-medaille-fields-2026