共计 1227 个字符，预计需要花费 4 分钟才能阅读完成。
2026 年 10 月 7 日,OpenAI 一次性公开 722 篇数学手稿, 论文与部分 Lean 证明同步上传 GitHub。其中编号 074 的一组只有两篇, 作者栏没有署名, 只写了一个词:OpenAI。两篇加起来 272 页, 指向的正是王虹拿下菲尔兹奖的那个方向——挂谷猜想。
📌 事件概览: 一夜之间多出 722 篇手稿
这批手稿覆盖范围很广,074 号这一组却格外扎眼。它包含一篇 97 页的三维挂谷极大函数猜想论文, 和一篇 175 页的四维挂谷集 Hausdorff 维数论文。前者声称给出了比王虹与 Joshua Zahl 更强的版本, 后者则声称把四维情形直接证到了满维。
🔍 背景: 挂谷猜想为什么难
1917 年,日本数学家挂谷宗一提出一个看似简单的问题: 平面上让一根单位长的针掉头转一圈, 最少需要多大面积?Besicovitch 给出了反直觉的答案——面积可以任意小, 甚至一个集合能在每个方向上都装下单位线段, 面积却是零。
面积这把尺子失效后,数学家改用维数来衡量这类极不规则集合的复杂度。挂谷猜想由此表述为: 在 n 维空间里, 只要集合在每个方向上都装得下一根单位线段, 它的维数就必须是满的 n 维。
- 平面情形:1971 年由 Davies 解决;
- 三维情形:2025 年 2 月由王虹与 Joshua Zahl 拿下;
- 四维及以上: 长期空白。四维此前最好结果停在 3.059, 进展基本在小数点后第二三位挪动。
💡 核心信息: 两篇论文各做了什么
三维那篇 处理的是更难的分析版本。集合版只需一个较宽松的幂次估计, 极大函数版则要求每根细管中「实心」比例为 λ 时, 所有实心部分并起来的体积不小于 λ3 量级。王虹与 Zahl 留下的正是这道下一步,OpenAI 声称用 97 页把它补上了。
四维那篇 则把长期停留在 3 点几的维数下界直接推到 4。文中大量使用二次多项式在不同尺度上做局部拟合, 用于追踪跨尺度持续聚集的线。它的一个关键输入, 引用的正是三维那篇里的引理——两篇论文构成一条链路。
📊 王虹的框架成了地基
翻看全文会发现,出现最多的名字之一是王虹。仅三维那篇,「Wang」就出现 23 次, 直接调用了 Guth、王虹、Zahl 三人的简化证明, 还用到了任康与王虹的平面 Furstenberg 估计; 四维那篇则用上王虹和 Zahl 的点积定理。
如果两篇最终被确认成立,它们也是在王虹搭好的框架上继续加盖。王虹本人对 AI 并不排斥, 获奖后她曾把 AI 形容为数学研究的「主动性助推器」, 认为提出问题、创造概念、构建理论仍是数学家的核心工作。
🚀 影响与看点: 数学界反应两极
陶哲轩牵头人类数学协会 (AHM) 发布联合声明,措辞严厉, 认为一次性放出数百个文件展示的不是学术, 而是权力, 并呼吁数学家停止与 OpenAI 合作。他本人长期使用 AI 辅助研究, 反对的是把批量攻克著名难题当作产品展示。
🧭 总结
围绕“王的猜想, 刚刚扩展到四维”，这一部分可从背景、现状与影响三个角度理解其关键信息。结合已公开内容来看，核心结论是趋势已较为明确，但细节仍需结合后续进展持续观察。
