OpenAI 一夜放出 722 篇数学手稿，宣称证四维挂谷猜想，陶哲轩牵头抵制
创业邦 · wechat · 2026-10-10
10 月 7 日，OpenAI 一口气公开 722 篇数学手稿并上传 Github，平均每个结果约用 3 小时 ChatGPT Pro 思考算力，仅约 42% 做了 Lean 形式化。其中编号 074 的两篇共 272 页、署名只有一个词“OpenAI”：一篇声称证明了三维挂谷极大函数猜想——比王虹与 Zahl 拿下菲尔兹奖的三维挂谷集维数猜想更强的版本；另一篇声称把四维挂谷集的 Hausdorff 维数直接证到满维 4（人类此前最好结果约 3.059）。
- 技术要点：三维论文（97 页）解决了王虹-Zahl 之后被明确提出的 λ³ 极大函数版本；四维论文（175 页，“polynomial”出现 213 次）用二次多项式跨尺度局部拟合，破解了高维中管子聚集在低次代数曲面附近的反例结构；四维论文关键引理正来自三维那篇，两篇是一条链路。
- 边界：未做 Lean 形式化、未经同行评审，OpenAI 自己承认“可能有问题”；五维及以上只给出投影下界。
- 站在王虹的肩膀上：三维论文中“Wang”出现 23 次，直接调用 Guth、王虹、Zahl 的简化证明及王虹与任康的平面 Furstenberg 估计——是在王虹搭好的框架上加盖。
- 数学界反应：陶哲轩牵头发布联合声明，称“一次性发布 700 多个文件，展示的不是学术，而是权力”，呼吁数学家停止与 OpenAI 合作；他反对的是把批量攻克著名难题当产品展示，因为题目被解掉后就无法再催生新方法。审稿（175 页证明全球能读的人屈指可数）与署名归属成为最大瓶颈。LeCun 等人则认为数学正迎来新纪元，重点将转向新概念、新猜想。菲尔兹奖得主 Gowers 此前预测人类“大概能撑到 2030 年”，而下届菲尔兹奖恰在 2030 年颁发。
所属事件:OpenAI 发布 722 篇数学手稿宣称证明四维挂谷猜想(2 条相关)→
「公司和人」频道最新
- 斯坦福临床 AI 研讨直播信息:周四中午 PT 开讲 — jonc101x · 2026-10-10
- Stephen Ma:临床信息学 hospitalist,部署环境式AI病历 — jonc101x · 2026-10-10
- Stanford colloquium 10月15日举行,含线下与直播 — jonc101x · 2026-10-10
- April Liang:ML 减少过度化验与 AI 病历时间研究 — jonc101x · 2026-10-10
- Natasha Steele:医院运营与临床信息学交叉实践者 — jonc101x · 2026-10-10
- Stanford 试点复盘:开发到真实部署的全过程分享 — jonc101x · 2026-10-10