北京时间2026年10月12日，量子位与新智元在过去24小时内集中报道OpenAI公开的一份四维挂谷问题手稿。官方PDF共175页，标题为《Every Four-Dimensional Kakeya Set Has Full Hausdorff Dimension》，作者栏只写OpenAI。手稿声称证明四维Hausdorff维数版挂谷猜想，但目前仍是公开预印本；OpenAI没有提供期刊同行评审接收信息，公开Lean目录也没有列出这一结果，因此不能把论文主张写成数学界已经确认的定理。

公开仓库与四维主张

OpenAI在10月6日宣布公开一批由内部前沿模型生成的数学结果，并把手稿、修订记录和引用规则放入公开GitHub仓库。四维挂谷手稿封面日期为9月24日，GitHub接口显示对应PDF随仓库初始提交于10月6日21时58分50秒协调世界时上线。官方目录把它与一份三维挂谷极大函数手稿共同列入第074组，前者讨论四维集合的Hausdorff维数，后者处理不同的三维极大函数问题。

挂谷集合可以理解为一个在空间中为每个方向都容纳一条单位线段的集合；不同方向的线段能够大量重叠，使集合的体积很小，维数问题却要求判断它究竟能薄到什么程度。该手稿的定理1.1声称，在四维欧氏空间中，只要一个集合包含每个方向的一条单位线段，它的Hausdorff维数就必须等于四。论文还明确表示，不要求这个集合或用于见证各方向的线段族满足紧致、可测或正则条件。

结论范围与研究背景

论文处理的是四维Hausdorff维数结论，不是更强的四维挂谷极大函数猜想。手稿导言把两者分开：极大函数版本要求对一定半径的线管平均算子建立估计，而集合版本关注覆盖尺度下的维数。官方目录也只把四维结果描述为Hausdorff维数猜想，把极大函数结论放在同组的三维手稿中。因而，公开材料不能支持“全部四维挂谷问题已经解决”，也不能把这一结论推广成任意维度的满维定理。

手稿回顾的研究背景显示，一般四维挂谷集合此前的Hausdorff维数下界为3.059。另一些近期工作在具有粘性、近似正则线管族、凸Wolff条件与密集着色等附加条件时取得满维并集估计，但这些条件并不覆盖任意挂谷集合。三维方面，王虹与Joshua Zahl已经证明挂谷集合猜想，Larry Guth、王虹与Joshua Zahl又给出简化证明。上述成果是新手稿引用的既有研究，外部作者没有被列为这份四维论文的作者。

证明路线与声称推论

按照手稿自己的证明概述，论证先把假设存在的Hausdorff维数缺口转化为加权线问题，再使用跨尺度保持的二次局部拟合追踪线段聚集。论文设置一种衡量局部拟合可维持时间长度的量，并按优化后的窄化率为零、有限正数或无穷三种情形分别处理。每一种情形都试图构造更长或更精细的局部图表，最终与假想反例必须满足的正时间成本冲突。这个路线来自论文自述，尚没有公开的独立复核结论。

证明链还调用多线性挂谷估计、受限三重点积定理、乘法卷积估计，以及三维挂谷结果导出的加权估计。论文声称，主结论同时推出四维挂谷集的packing维数、下Minkowski维数和上Minkowski维数均为四；对四维及更高维空间，它至少给出Hausdorff维数不低于四的结论。文末还列出常曲率四维流形上的Nikodym集合和若干特定弯曲挂谷问题的推论，并逐项注明所依赖的已有转移定理。

验证边界与数量冲突

验证状态与发布规模必须分开看。OpenAI仓库称当前约42%的顶层结果具有形式化，但这个比例覆盖整个目录；仓库README同时提醒，部分尚未形式化的结果可能存在问题，并称会保留公开版本历史、把修正作为新版本记录。公开一份长篇证明、列出引用并保存修订轨迹，使外部检查具备材料基础，却不等同于这份证明已经通过形式化或专家审读。

OpenAI另称，内部评测约向模型提出4000个问题，每项结果平均使用相当于约三小时ChatGPT Pro思考的计算量；这些都是官方自报的生成流程数据。下一步可核对的信号包括第074组是否新增Lean条目、PDF是否出现修订版，以及独立数学家或期刊是否公开审读意见。