OpenAI的这份175页手稿指向一个目标：在四维空间中，只要一个集合包含所有方向的单位线段——即所谓挂谷集——它的豪斯多夫维数就必须是满维4。这道题数学界的最好成绩长期停在3.059，今年9月王虹与Zakharov的满维突破也只覆盖特殊的「粘性」情形，而这份手稿宣称把结论从3.059直奔4。 这份手稿也不是孤篇：它是OpenAI于10月6日在GitHub放出的一批722篇数学手稿之一，全部出自一个尚未发布的内部前沿模型。新智元机器之心
要看懂它的分量，得先看题目本身。1917年，日本数学家挂谷宗一提出了一个看似无聊的问题：一根没有粗细的针在平面上转完180度，扫过的面积最小能有多小？ 贝西科维奇随后证明这个面积可以任意小、甚至为零，真正的难题转向维数：挂谷猜想断言，n维空间中只要集合含齐所有方向的单位线段，它的维数就必须等于n。二维情形1971年已被证明，三维又卡了半个多世纪，直到2025年2月王虹与Joshua Zahl交出127页论文，把证明从有规律的「粘性」情形推进到一般情形，三维集合版猜想至此正式解决。 王虹凭这项工作和傅里叶限制问题的进展成为第三位获菲尔兹奖的女性数学家，今年7月23日领奖；OpenAI的175页，做的正是她之后「再加一维」的事。哔哩哔哩新智元机器之心
亮点一：把四维证明最大的障碍，改造成入口
三维的方法搬不进四维：Guth指出，四维里的细管可以沿着二次曲面大量聚集，形成三维方法控制不住的重叠。 这不是技术细节上的麻烦，而是方法层面的失效，也解释了为什么下界在 3.059 上停了几年。 而OpenAI的做法是把这种聚集本身当成线索：用二次多项式描述局部的线段关系，再追踪这些关系能沿线段延续多远——让破坏三维方法的集中模式，反过来成为四维论证的起点。新智元知乎
亮点二：两篇手稿互相咬合，工具主要接在人类刚点亮的成果上
同批还有一篇97页手稿，要证的是比王虹与Zahl集合定理更强的三维挂谷极大函数猜想；两篇放在同一组编号里，存在明确的递进关系——四维那篇的一个关键输入，就是这批里三维那篇自己证明的引理。 顺着这条依赖链往下看，四维论证仍用到了Guth、王虹与Zahl的集合估计，以及王虹与任康的平面Furstenberg定理。 处理平面结构时，用的仍是王虹与Zahl的点积定理。换句话说，这份手稿不是从几十年前的教科书结论出发，而是接在人类几个月前刚解锁的前沿方法上继续往前推。知乎新智元
亮点三：让假想的反例自己露出破绽
论证的总体框架仍是经典反证法：OpenAI先假设，存在一个维数不足4的挂谷集合，再按线段的聚集方式分情况处理，有的情形让局部关系沿线段延续得更远，有的情形把线段限制在更薄的区域里。 接着把这些跨尺度的改进接回原始尺度，与假想反例必须满足的条件冲突，从而排除维数不足4的可能。若这175页经得起检验，四维挂谷就从特殊情形推进到一般情形的满维结论。新智元
但边界必须先写清：三件事尚未成立
第一，这次被推进的只是四维「集合版」：更强的四维极大函数版没有随之解决，五维及以上也只得到「维数至少为4」，离各自的满维结论还有距离。新智元
第二，分量最重的结果恰恰没有形式化。372个成果族中235族附带Lean形式化说明页、约占六成三，但四维挂谷等最重的成果不在其列，OpenAI也坦白未形式化的结果「可能存在问题」，团队会尽快修正并持续补充。机器之心
第三，独立检验还没发生：两篇论证目前只能说提交了什么，不能说证明了什么，接下来几个月里能否经受住专家逐行审读，才是这次发布真正的成绩单。机器之心知乎
发布方式与验证瓶颈，构成另一半争议
模型名称至今未公开，OpenAI只在博客中称之为「内部前沿模型」，并表示正在推进其「负责任的发布」。机器之心
而在发布之前，据《连线》报道，OpenAI 在 8 月就私下召集了约 40 位数学家，讨论如果 AI 在数学上超越人类该怎么办，并就如何发布征求意见。机器之心
数学界的正式反应也在9月密集出现：包括陶哲轩在内的25位菲尔兹奖得主联署声明，认为仓促的公告留不出时间来写好论文、做好引用，会带来严重的署名与抄袭问题。 卢昌海则提醒，整个数学界对这些成果尚处于消化不良阶段。机器之心微博
对照9月29日IAS独立咨询小组发布的发布建议，媒体对OpenAI这份答卷的判语是「有选择地及格」；OpenAI也在博客里承认，未来的发布会在引用、数学阐述和呈现方式上继续改进。机器之心
更现实的难点在稿件本身。一条高赞知乎回答直言这批论文是「纯AI废料」，没轻没重，重要概念解释不清，并认为其中融合出的全新工具目前没有人能逐行读懂。 陶哲轩此前的判断因此更显得准：真正的冲突不是人类推理对机器推理，反而是充沛的证明产出与稀缺的专家注意力之间的错配。 当产出可以按小时堆出来时，能验证的人就成了稀缺资源，数学进步的瓶颈正从「证明」移到「理解」。知乎机器之心知乎
接下来最值得盯的观察信号很具体：未来几个月内，专家逐行审读和Lean形式化的补齐进度，将决定这175页是停留在「宣称」还是落地为定理；如果它站得住，四维挂谷的一般情形满维将连同3.059的旧纪录一起写进历史注脚。报道的收尾把问题抛向了下一届菲尔兹奖：2030年，下一届菲尔兹奖颁发时，值得追问的或许不只是领奖台上站着谁，还有那项获奖成果中最关键的一步，究竟是谁想出来的。新智元
