10月6日，OpenAI把一批由未发布内部模型跑出的数学成果直接挂上GitHub：722篇手稿，对应372个此前悬而未决的问题家族，其中175页的四维挂谷猜想证明稿把数学家送上了热榜。 先给结论：这篇手稿声称证明了「任何包含所有方向单位线段的四维集合，维数必须是4」，一旦检验通过，人类此前能锁定的四维下界将从3.059一步跳到满维。但它此刻仍是一份证明稿，不是已定论。 没有同行评审，没有人类数学家签字背书，同一批手稿甚至已经撤回了3篇。知乎知乎微博
它之所以刷屏，是因为挂谷猜想恰好是这场「AI数学大考」里最亲民的一道题：王虹一年多前攻下三维、今年刚捧起菲尔兹奖，OpenAI转头就去敲四维的门。看懂这175页，就看懂三个问题：这道题到底在问什么、AI的解法踩着谁的肩膀、它离「被承认」还差几步。
一根针掉头，为什么问倒数学界一个多世纪
问题的起点简单得像脑筋急转弯。1917年，日本数学家挂谷宗一问出：一根长度为1、没有粗细的针，在平面内掉头180度，最少需要扫过多大的面积？ 答案很快颠覆直觉：掉头扫过的面积可以任意小；若把要求放宽到每个方向都放得下一根针，这个集合的面积甚至可以是零。知乎
面积压到零，问题却没完——数学家换了把尺子：维数，可以理解为集合把空间「撑得有多实」。挂谷猜想断言：在n维空间里，只要一个集合包含所有方向的单位线段，它的维数就必须是n，也就是「满维」。二维情形在1971年证完了，可到了三维，数学家又被卡住半个多世纪。知乎
三维由人类证完，四维此前只推到3.059
三维的钥匙在王虹与Zahl手里：2022年两人先解决较规则的「粘性」情形，2025年2月交出的127页论文把三维「集合版」挂谷猜想彻底证完，王虹也因此在今年捧起菲尔兹奖。知乎
四维则是另一道坎：此前的维数下界，停在3.059；王虹与Zakharov今年9月的满维突破，也只覆盖特殊的「粘性」情形。 这次OpenAI这篇175页手稿，标题写得直白：《每个四维挂谷集合都具有完整的豪斯多夫维数》，目标就是从3.059直奔满维。知乎知乎
175页怎么啃四维：把「扎堆」变线索，借人类引理，让反例自我暴露
三维的证法搬不动四维，麻烦出在「扎堆」。Guth指出，四维里的细管可以沿着二次曲面大量聚集，形成三维方法控制不住的重叠。 OpenAI反手把扎堆本身当成线索：用二次多项式描述局部的线段关系，再追踪这些关系能沿线段延续多远——管子的聚集不再只是麻烦，反而成了可以顺藤摸瓜的指纹。知乎
只解释少数线段还不够。它借用了同批一篇97页三维手稿中的加权估计，让选出的局部区域包含足够多的线段交会，而这条引理的源头，依然是Guth、王虹与Zahl的集合估计；处理平面结构时，还要调用王虹与Zahl的点积定理。 说得直白些：OpenAI往前点的每一格「科技树」，底下都焊着人类几代人攒出的前置技能。知乎
最后一步，是让假想的反例自己露出破绽：先假设存在一个维数不足4的挂谷集合，再按线段的聚集方式分情况处理，推出矛盾，把「维数不够」的可能逐一排除。知乎
旁边的97页手稿想在三维再闯一关，瞄准比王虹与Zahl的集合定理更强的极大函数版本。知乎
打个比方：细管是涂了色的吸管，每根只涂一部分，要求无论怎么涂、怎么切分放大，颜色的总体积都有打不穿的下界——OpenAI记录涂色在不同尺度上的分布，再用几何估计与熵分析排除会打破下界的坏排列。知乎
边界要画清：只证四维「集合版」，且尚未通过检验
这篇175页即使全部成立，解决的也只是四维「集合版」。更强的四维极大函数版还没有由此解决，五维及以上也只得到「维数至少为4」，各自是否满维仍是悬案。知乎
更要紧的是「成立」二字。据OpenAI披露，绝大多数难题的证明，只花了未发布内部模型平均3小时的思考算力。 挂谷这两篇论证，至今还需要独立检验。知乎知乎
对照之下能看出分寸。同一批手稿里，攻克准黎曼猜想的那篇随证明发布了Lean形式化验证，相当于附上了机器可查的验算过程。 挂谷这两篇没有现成的机器背书，可信度只能交给逐页挑错的人类同行。知乎
纠错已经在仓库里真实发生。最初的722篇手稿，现在只剩下719篇了。 官方更新日志里写得清楚：撤稿3篇、修订14篇。 被撤回的是涉及Hodge猜想与Kuga–Satake对应的三篇手稿，原因出在主文里的符号错误。 这是一个还在当众纠错的工地，不该被读成已经竣工的纪念碑。微博微博知乎
圈内吵的不是对错：发布方式、抵制和「看不懂」
矛盾早在发布前就攒下了。据《连线》披露，OpenAI今年8月曾秘密召集40位全球顶级数学家闭门开会，议题是「AI在纯数学领域全面超越人类怎么办」；学者们当场恳求按学术规范发表，给人类学者留出消化和验证的时间。 9月，陶哲轩、邓煜等菲尔兹奖得主已公开联合抗议AI公司。 发布之后，陶哲轩又公开声援多位数学家抵制OpenAI的立场，矛盾正式摊牌。知乎微博知乎
行家的关注排序也值得记录：这批库里其实最离谱的是079号局部平滑猜想，它可推出挂谷猜想等其他调和分析重大猜想。知乎
而比名次更要命的是可读性。有认真啃稿的人直言，现在除了AI自己给出的车轱辘话，没人能给出这几篇文章的完整解读，细节和全新工具根本看不懂。 于是「AI到底算不算做出数学」暂时没人裁得动：审稿人面对的第一道坎不是对错，而是天书。知乎
风波里被反复引用的判断来自陶哲轩的近期演讲：数学1.0时代，找到一个问题再去证它极其困难，可能需要几代人；AI进场后证明不再稀缺，数学2.0稀缺的变成了「解释」。 这句话恰好压中了以上所有裂缝：没人读得懂的证明，哪怕最终被同行确认，走进人类的课本也还要很久。知乎
接下来盯三件事：验证信号、边界推进、关键一步归属
对不啃公式的读者，这175页的下半场看三个信号就够了。挂谷两篇合计272页，会不会出现公开的审读结论或被指出错误——仓库已经演示过三篇栽在同一个符号上；若四维集合版站住，四维极大函数版和五维以上才是下一批高地；再往远处看，才是那个更扎心的问题：下一届菲尔兹奖评选时，获奖成果中最关键的一步究竟是谁想出来的。 到那一天，「谁」字问的恐怕已不只是人。知乎
