新智元报道 王虹攻下三维，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月的满维突破，也只覆盖特殊的「粘性」情形。 从3.059，直奔4！OpenAI这份175页手稿，要挑战的正是这一步。 OpenAI四维挂谷手稿的标题与摘要。主结论针对一般四维挂谷集合的Hausdorff维数 但三维的证明，不能直接搬到四维。 Guth指出，四维里的细管可以沿着二次曲面大量聚集，形成三维方法控制不住的重叠。 OpenAI于是把这种聚集本身当成线索。 它用二次多项式描述局部的线段关系，再追踪这些关系能沿线段延续多远。 但只解释少数线段还不够。 OpenAI借助前面 97页三维手稿中的一条加权估计 ，让选出的局部区域包含足够多的线段交会。 而这条引理的源头，依然是 Guth、王虹与Zahl的集合估计 。 OpenAI三维手稿第20页，引理3.3及公式（3.7）、（3.8）；四维稿引用时标为「引理2.3」，并在自身的引理2.15中重述 处理平面结构时，OpenAI的四维论证还用到了王虹与Zahl的点积定理。 这有点像是在点科技树，OpenAI继续往前点，仍然要用到王虹参与解锁的前置技能 最后一步，要让假想的反例自己露出破绽。 OpenAI先假设，存在一个维数不足