OpenAI 一次性发布 722 篇数学手稿，试图将挂谷猜想扩展至四维

一句话结论

OpenAI 于 10 月 7 日发布 722 篇数学手稿，声称解决四维挂谷猜想并强化三维版本，引发数学界关于 AI 对传统研究范冲击的激烈争议。

关键要点

• OpenAI 于 2026 年 10 月 7 日一次性上传 722 篇数学手稿及部分 Lean 证明至 GitHub，其中 722 篇中约 42% 包含形式化证明。
• 编号 074 的两篇手稿聚焦挂谷猜想，作者栏仅标注“OpenAI”，未列出具体人类研究员姓名。
• 三维手稿声称证明挂谷极大函数猜想，将王虹与 Joshua Zahl 的 $\lambda^{K(\epsilon)}$ 下界提升至 $\lambda^3$。
• 四维手稿声称证明四维挂谷集的 Hausdorff 维数为满维，突破了此前 Katz 和 Zahl 在 2019 年取得的 3.059 维数的进展。
• 陶哲轩牵头的“人类数学协会”发布联合声明，呼吁数学家停止与 OpenAI 合作，以保护以人类理解为核心的科学愿景。

背景与事实

2025 年 2 月，数学家王虹与 Joshua Zahl 发表了 127 页的论文，证明了三维空间中挂谷集猜想的 Hausdorff 维数和 Minkowski 维数版本。这一成果解决了悬置半个世纪的经典难题，王虹因此于 2025 年 7 月在费城国际数学家大会上获得菲尔兹奖。挂谷猜想的核心在于：在 n 维空间中，若一个集合在每个方向上都包含单位线段，其维数必须为 n。尽管平面情形早在 1971 年由 Davies 解决，三维情形直至 2025 年才得证，而四维及以上情形此前仍无完整证明，人类最佳记录仅推进到 3.059 维（2019 年 Katz 和 Zahl 的结果）。

2026 年 10 月 7 日，OpenAI 公布了 722 篇数学手稿。其中编号 074 的两篇手稿直接针对挂谷猜想。第一篇 97 页手稿处理三维挂谷极大函数猜想，这是一个比集合版更复杂的“管子重叠控制”问题。王虹和 Zahl 的定理给出的是宽松的下界，而 OpenAI 声称证明了体积下界不小于 $\lambda^3$，即精确控制了管子实心部分的比例。第二篇 175 页手稿处理四维情形，声称证明了四维挂谷集的 Hausdorff 维数为 4。这两篇手稿均引用了王虹之前的工作，三维手稿调用了 Guth、王虹和 Zahl 的简化证明，四维手稿则使用了王虹和 Zahl 的点积定理。值得注意的是，这两篇核心手稿没有经过同行评审，且没有提供 Lean 形式化代码，OpenAI 在 README 中承认未形式化的结果可能存在错误。

在数学界反应方面，前菲尔兹奖得主 Timothy Gowers 此前曾预测人类可能还能保持菲尔兹奖到 2030 年，但这一乐观预测在 OpenAI 发布手稿后受到挑战。陶哲轩虽然本人积极使用 AI 辅助研究，但他牵头成立“人类数学协会”并发表强硬声明，指责 OpenAI 一次性发布 700 多个文件是展示权力而非学术。声明强调，数学家并未要求解决这些特定问题，AI 的批量攻克使得原本可能在研究过程中衍生出新方法和新理解的探索路径被切断。此外，由于 175 页的证明极长且复杂，全球能完整读懂的人寥寥无几，审稿成为最大的瓶颈，学术界对证明的正确性尚无共识。

影响分析

对于中文开发者与从业者而言，此次事件并非单纯的数学新闻，而是 AI 能力边界剧变的信号。首先，它展示了大型语言模型在高度抽象、长链条逻辑推理任务上的突破性进展。过去认为 AI 仅擅长代码生成或简单逻辑谜题，但挂谷猜想涉及复杂的调和分析、几何测度论及多项式方法，AI 能够在此领域取得“声称”成功，意味着其在处理非结构化、高难度科学推理方面的潜力远超预期。这提示从业者关注 AI 在科研辅助领域的最新进展，特别是在需要长上下文理解和形式化验证的场景中。

其次，这一事件对传统软件工程和算法开发产生间接影响。如果 AI 能够处理如此复杂的数学证明，那么其在解决更常规的工程优化、代码逻辑验证以及系统架构设计上的能力也将得到加强。然而，由于缺乏形式化验证和同行评审，AI 生成的结果目前只能视为“候选解”而非“定论”。因此，在应用层面，开发者和研究者必须建立严格的验证机制，不能盲目信任 AI 的输出。这要求技术人员掌握形式化验证工具（如 Lean）的基本原理，以便对 AI 生成的证明进行快速校验。同时，这也引发了关于知识产权和署名权的争议，未来涉及 AI 辅助科研成果的发表标准和伦理规范将变得更加复杂，从业者需提前了解相关学术界的共识和立场。

适用边界

上述关于 AI 突破数学边界的结论主要适用于当前 OpenAI 发布的特定手稿，且这些结果尚未通过同行评审和形式化验证，因此不能直接确认为已解决的数学定理。该结论不适用于认为 AI 已完全取代人类数学家或 AI 结果必然正确的观点，因为 OpenAI 自己承认未形式化结果可能存在错误。此外，这一观察基于 2026 年 10 月 7 日的时间点，随着后续验证工作的开展，这些手稿的有效性可能会发生推翻或确认的变化。对于非数学领域的从业者，不能简单地将挂谷猜想的成功直接类比到其他复杂系统问题，因为不同领域的知识结构和验证标准存在巨大差异。

孤本观察

编辑认为，此次 OpenAI 以“作者栏仅写 OpenAI”的方式发布成果，标志着 AI 从“辅助工具”向“独立署名主体”的角色试探，这在学术史上是前所未有的先例。尽管结果真伪未定，但“批量发布”这一行为本身对学术共同体构成的心理冲击大于结果本身，它迫使数学界重新定义“发现”与“验证”在 AI 时代的边界。

来源：量子位