知识卡片：OpenAI手稿求证四维挂谷猜想，175页待独立检验

一句话结论

OpenAI 10月6日在GitHub公开的首批722篇数学手稿中，两篇分别针对四维挂谷集合的Hausdorff维数与三维挂谷极大函数猜想，论证仍待独立检验，且即便成立也未解决四维极大函数版或五维及以上的满维问题。

事件概述或研究问题

据腾讯研究院AI速递（20261012）转述，OpenAI于10月6日在GitHub公开首批722篇数学手稿，其中包含两篇与挂谷猜想相关的论证：

• 一篇175页，论证一般四维挂谷集合的Hausdorff维数为4；此前维数下界停在3.059，王虹与Zakharov今年9月的满维结果只覆盖“粘性”情形。
• 另一篇97页，瞄准三维挂谷极大函数猜想，强于王虹与Zahl 2025年2月以127页论文解决的集合版；两稿均用到Guth、王虹与Zahl的集合估计等既有成果。

这两篇论证尚需独立检验。

方法/产品要点

• 两篇手稿均属OpenAI公开的722篇数学手稿之一，来源为OpenAI 10月6日在GitHub的公开行为。
• 175页手稿：目标为一般四维挂谷集合的Hausdorff维数=4。
• 97页手稿：目标为三维挂谷极大函数猜想，声称强于王虹与Zahl 2025年2月以127页论文解决的集合版。
• 两稿均引用Guth、王虹与Zahl的集合估计等既有成果（具体引用与论证细节待核实）。
• 两篇论证尚需独立检验（检验进展与结论待核实）。

主要结果或产业意义

• 若175页手稿成立，将把一般四维挂谷集合的Hausdorff维数从下界3.059推进到4（满维），并超出王虹与Zakharov仅覆盖“粘性”情形的结果。
• 若97页手稿成立，将在三维挂谷极大函数猜想上强于王虹与Zahl 2025年2月以127页论文解决的集合版。
• 但即便成立：四维极大函数版仍未解决；五维及以上也只得到“维数至少为4”，不能推出各自满维。
• 产业意义：这是OpenAI大规模公开数学手稿后，具体数学命题层面的可核验进展之一；其价值取决于独立检验结果，而非公开本身。

为什么重要

• 这是对已有卡片“OpenAI公开722篇数学手稿引数学界‘读不过来’讨论”（2026-10-07）的具体化延续：从“规模化产出与可读性争议”推进到具体命题（四维挂谷集合维数、三维挂谷极大函数猜想）的可检验论证。
• 同时与“OpenAI联手独立数学顾问组，百余道开放问题待审”（2026-09-23）形成呼应：公开产出与独立审查机制并行，本条正是待独立检验的具体案例。
• 增量信息：本条给出了两篇手稿的页数（175页、97页）、具体目标、与王虹/Zakharov、王虹/Zahl既有结果的相对关系，以及“即便成立仍未解决哪些版本”的边界说明。

局限与不确定性

• 两篇论证尚需独立检验；是否成立、是否有漏洞、是否被数学界接受，均待核实。
• 两稿对Guth、王虹与Zahl等既有成果的具体引用方式与依赖程度待核实。
• 四维极大函数版是否仍未解决、五维及以上“维数至少为4”的表述是否准确，待核实。
• 首批722篇手稿的完整清单、归类方式与审核状态，待核实。

可用于图书/PPT/简报的角度

• “从3.059到4”：四维挂谷集合Hausdorff维数下界推进的叙事线，以及“粘性”情形与一般情形的区别。
• “集合版 vs 极大函数版”：三维挂谷猜想中两类目标的难度差异，以及AI手稿在两类目标上的不同定位。
• “公开≠认可”：以本条为例说明大规模公开数学手稿后，独立检验才是关键节点。
• “边界意识”：即便论证成立，四维极大函数版与五维及以上满维仍未解决，适合作为AI数学产出能力边界的案例。
• 与陶哲轩“Math 2.0：证明不再稀缺”对照：证明产出增多后，检验、理解与边界判断成为瓶颈。

与既有脉络的关系

• 延续“OpenAI公开722篇数学手稿引数学界‘读不过来’讨论”（2026-10-07）：从整体规模与争议，聚焦到两篇具体手稿的命题与边界。
• 呼应“OpenAI联手独立数学顾问组，百余道开放问题待审”（2026-09-23）：本条是“待独立审查”的具体实例，可与AGMAI机制并置讨论。
• 本条不重复上述卡片对722篇整体规模、归类与数学界反应的陈述，仅补充两篇挂谷相关手稿的具体信息。

原始材料

• 来源：腾讯研究院AI速递 20261012
• URL: https://m.sohu.com/a/1086432362_455313?scm=10001.325_13-325_13.0.0-0-0-0-0.5_1334
• 标题：腾讯研究院AI速递 20261012
• 相关条目：七、OpenAI手稿求证四维挂谷猜想，175页待独立检验