OpenAI公开175页四维挂谷猜想证明稿

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

挂谷问题源于1917年挂谷宗一提出的经典问题：一根单位长度、无粗细的针在平面内掉头180度，最少扫过多大面积？Besicovitch证明面积可任意小；若只要求每个方向都含一条单位线段，集合面积甚至可为零。挂谷猜想据此断言：n维空间中，只要集合包含所有方向的单位线段，其维数必须为n。二维情形1971年解决，三维却卡了半个多世纪。

王虹与Zahl先从较有规律的“粘性”情形入手，2022年完成证明；2025年2月交出127页论文，推进到一般情形，正式解决三维“集合版”猜想，结论为Hausdorff维数与Minkowski维数均为3。

OpenAI的97页三维手稿瞄准更强的“极大函数版”。差别在于细管涂色：每根只涂一部分，重叠处只算一次，这些颜色合起来至少还占多大体积？王虹与Zahl的估计已足以推出维数为3，OpenAI要精确控制涂色比例与总体积的关系，即使涂得越来越少，更严格下界也必须成立。其论证记录涂色在不同尺度上的分布，追踪切分、放大变化，结合几何估计与熵分析，排除重叠过度、违反目标下界的排列，并用到了Guth、王虹与Zahl的集合估计，以及王虹与任康的平面Furstenberg定理。若主定理成立，还可推出Nikodym极大函数估计及弯曲细管的局部结果。

四维方面，此前维数下界停在3.059；王虹与Zakharov今年9月的满维突破也只覆盖特殊“粘性”情形。OpenAI的175页手稿要直奔4。但三维证明不能直接搬到四维：Guth指出，四维细管可沿二次曲面大量聚集，形成三维方法控制不住的重叠。OpenAI用二次多项式描述局部线段关系，追踪其沿线段延续多远，并借助三维手稿中的一条加权估计，让局部区域包含足够多线段交会；该引理源头仍是Guth、王虹与Zahl的集合估计。处理平面结构时，还用到王虹与Zahl的点积定理。论证先假设存在维数不足4的挂谷集合，再按线段聚集方式分情况处理，最终与反例条件冲突，排除维数不足4的可能。若经检验成立，四维满维结论将从特殊情形推进到一般情形，Hausdorff维数必须为4。但这仍是四维“集合版”，更强的四维极大函数版尚未解决；五维及以上也只得到“维数至少为4”，不能推出各自满维。

王虹获奖不过几个月，OpenAI就交来同方向272页新手稿。两篇论证仍需独立检验，但若成立，这段数学史往后写就绕不开OpenAI。王虹的名字也未退场，OpenAI继续往前，用的仍有她与合作者建立的估计和方法。真正悬着的是下一次突破：如果AI开始持续提出新方法、打开新方向，人类还能一直抢先迈出那一步吗？2030年下一届菲尔兹奖颁发时，值得追问的或许不只是领奖台上站着谁，还有获奖成果中最关键的一步究竟是谁想出来的。