大数跨境
首页
>
王虹攻下的三维挂谷猜想，OpenAI 放出 175 页四维证明稿！
>

王虹攻下的三维挂谷猜想，OpenAI 放出 175 页四维证明稿！

王虹攻下的三维挂谷猜想，OpenAI 放出 175 页四维证明稿！ AI有道
2026-10-12
5
导读：转自 | 新智元王虹攻下三维，OpenAI直接把四维证明稿摆上桌了！10月6日，OpenAI在GitHub上公开首批722篇数学手稿。
转自 | 新智元
王虹攻下三维，OpenAI直接把四维证明稿摆上桌了！

10月6日，OpenAI在GitHub上公开首批722篇数学手稿。其中一篇长达175页，直指四维挂谷猜想；另一篇97页，旨在提出比王虹与Zahl集合定理更强的极大函数版本。

OpenAI数学手稿目录中的074组，分别对应三维极大函数版和四维集合版

这道让数学家追寻百年的难题，最初的问题却简单得惊人：一根针，怎么在尽可能小的地方掉头？

一根针的极限掉头


一根针的极限掉头

在拥挤的车厢里，把一把收起的长柄伞调个头，边挪边转，往往比直接横着转更省地方。1917年，日本数学家挂谷宗一提出了类似的问题：一根长度为1、没有粗细的针，在平面内掉头180度，最少需要扫过多大的面积？

Besicovitch给出的答案是：面积可以任意小。如果放宽要求，不要求针连续转动，只需每个方向都放得下一条单位线段，这个集合的面积甚至可以是零。

面积虽可趋于零，但结构维度不能忽视。挂谷猜想断言：在n维空间里，只要一个集合包含所有方向的单位线段，它的维数就必须是n，即「满维」。

二维情形已于1971年解决，但三维问题困扰数学界半个多世纪。

王虹证明了什么

为解决三维问题，数学家将线段加粗为细管，观察其变细时重叠体积的变化。Katz、Łaba和陶哲轩曾发现一些排列规律，但不同尺度的结果难以衔接，且管束放大后可能存在大量空隙。


王虹与Zahl先从较有规律的「粘性」情形入手，于2022年完成证明。2025年2月，两人提交127页论文，将证明推进到一般情形，正式解决了三维「集合版」猜想。

王虹与Zahl的三维挂谷论文，摘要给出Hausdorff维数与Minkowski维数均为3的结论
左图为「粘性」情形；右图粗管大量交叠，内部细管却很稀疏


OpenAI三维新证明：同一个问题，更强的版本

王虹与Zahl解决了集合的维数问题，但要求更高的「极大函数版」仍有待突破。OpenAI这份97页手稿，瞄准的正是这一步。

OpenAI三维手稿的标题与摘要，主定理针对更强的挂谷极大函数猜想

差别在于对细管涂色的精确控制。每根只涂一部分，重叠处只算一次，这些颜色合起来至少占多大体积？王虹与Zahl的估计足以推出「维数是3」，而OpenAI要精确控制涂色比例与总体积的关系，即使涂得越来越少，严格的下界也必须成立。


按照OpenAI的论证，该严格要求得到满足，并能进一步推出完整的三维极大函数估计。难点在于放大后的密度变化：同样涂了10%，集中在一端和分散在各处，截出一小段后密度可能完全不同。

OpenAI记录涂色在不同尺度上的分布，追踪每次切分、放大的变化，结合几何估计与熵分析，排除重叠过度、违反目标下界的排列。

这套论证用到了Guth、王虹与Zahl的集合估计，以及王虹与任康的平面Furstenberg定理。若主定理成立，还将带来两类收获：

  • Nikodym极大函数估计：从按方向寻找细管，转向研究经过各个点的细管。

  • 局部结果推广：借助转换定理，将结论从直细管推广到符合特定条件的弯曲细管。


OpenAI四维新证明：多一维，难度不止加一

此前四维维数下界停在3.059，王虹与Zakharov今年9月的突破仅覆盖特殊的「粘性」情形。OpenAI这份175页手稿，目标是从3.059直奔4。

OpenAI四维挂谷手稿的标题与摘要。主结论针对一般四维挂谷集合的Hausdorff维数

三维证明不能直接搬至四维。Guth指出，四维里的细管可沿二次曲面大量聚集，形成三维方法无法控制的重叠。OpenAI将这种聚集作为线索，用二次多项式描述局部线段关系，并追踪其延续范围。

为确保局部区域包含足够多的线段交会，OpenAI借助97页三维手稿中的一条加权估计，该引理源头仍是Guth、王虹与Zahl的集合估计。
OpenAI三维手稿第20页，引理3.3及公式（3.7）、（3.8）；四维稿引用时标为「引理2.3」，并在自身的引理2.15中重述

处理平面结构时，OpenAI的四维论证还用到了王虹与Zahl的点积定理。
这有点像是在点科技树，OpenAI继续往前点，仍然要用到王虹参与解锁的前置技能

最后一步是让假想反例露出破绽。OpenAI假设存在一个维数不足4的挂谷集合，按线段聚集方式分情况处理：有的情形能让局部关系沿线段延续更远，有的则能把线段限制在更薄区域。将这些改进接回原始尺度后，会与假想反例必须满足的条件冲突，从而排除维数不足4的可能。

若这175页经得住检验，四维满维结论将从特殊情形推进到一般情形：所有方向的单位线段只要齐全，集合的Hausdorff维数就必须是4。

不过，这仍然是四维的「集合版」。更强的四维极大函数版尚未解决，五维及以上也只得到「维数至少为4」，还不能推出各自满维。


最后属于人类的菲尔兹奖

王虹捧起奖牌不过几个月，OpenAI就交来了同一研究方向上的272页新手稿。两篇论证尚需独立检验，但若最终成立，这段数学史将绕不开OpenAI的名字。

王虹的名字并未退场，OpenAI的推进仍基于她与合作者建立的估计和方法。真正悬而未决的是下一次突破：如果AI开始持续提出新方法、打开新方向，人类还能一直抢先迈出那一步吗？

2030年下一届菲尔兹奖颁发时，值得追问的或许不只是领奖台上站着谁，还有那项获奖成果中最关键的一步，究竟是谁想出来的。


参考资料：

https://github.com/openai/math/blob/main/preprints/Every-four-dimensional-Kakeya-set-has-full-Hausdorff-dimension-September-24-2026/paper.pdf
https://github.com/openai/math/blob/main/preprints/The-Kakeya-maximal-conjecture-in-three-dimensions-September-23-2026/paper.pdf

编辑：摩西 马可

【声明】内容源于网络
0
0
AI有道
1234
内容 3176
粉丝 0
AI有道 1234
总阅读141.9k
粉丝0
内容3.2k