10月7日，OpenAI把722篇数学手稿一次性放上GitHub，涵盖372个此前悬而未决的顶级数学难题家族。 其中最扎眼的编号074一组，正落在王虹刚凭三维挂谷猜想拿下菲尔兹奖的方向上：一篇声称证明了三维挂谷极大函数猜想，比王虹和Zahl证明的版本更强；另一篇声称证明了四维挂谷猜想，两篇合计272页，作者栏只有一个词：OpenAI。 但"通关"此刻还得打个引号：这批成果没有同行评审、没有署名作者，发布次日OpenAI就撤回了3篇、修补14篇。 真正值得拆开看的，是标题里的问题：一个平均每道题"想"约三小时的模型，是怎么爬上人类卡了几十年的山的？新智元量子位知乎
"一夜"是批处理的时钟，不是灵光一现
OpenAI披露的口径是，绝大多数证明出自一个未公开的内部模型，平均每题约3小时ChatGPT Pro"思考"算力；所谓"一夜通关"，是数百道题并行跑完的批处理墙上时间。 大模型的"思考"没有魔法：它在推理阶段被允许生成极长的中间过程，把人类数学家"草稿纸打满再誊清"的那部分，全部搬进模型内部跑完。新智元
这直接改写了数学发现的节奏。王虹和Zahl从2022年先证"粘性"挂谷情形、2024年拿下Assouad维数版本、2025年2月发布127页完整证明，再到2026年7月站上菲尔兹奖领奖台，用了将近四年；而三维挂谷刚被人类攻克，AI就把同一方向的相关结果推到了四维。
它不是从零"想"，而是踩着人类的定理往上搭
翻开手稿，AI"思考"的原料几乎全是人类几十年的积累：仅三维那篇，"Wang"就出现了23次——它直接调用Guth、王虹、Zahl三人的简化证明，用到任康和王虹的平面Furstenberg估计，四维论文则用上了王虹与Zahl的一个点积定理。
链条还在手稿之间延续：四维论文的一个关键输入，正是三维论文里的一个引理，两篇论文构成一条链路，三维的更强版本给四维铺了路。 模型不像在回答一道题，更像在经营一个课题组：前一篇的成果成为后一篇的台阶。量子位
四维才是真正的硬骨头。高维空间里，管子可以扎堆聚集在低次代数曲面附近，形成三维里没有的反例结构，王虹三维证明里的关键定理搬到四维就不成立；人类自1995年Wolff证到维数至少3起，Guth和Zahl推到大约3.025，2019年Katz和Zahl推到3.059，之后的进展基本都在小数点后第二三位上挪动。OpenAI这篇175页论文的核心工具，是用二次多项式在不同尺度上做局部拟合，追踪跨尺度持续聚集的线，全文"polynomial"一词出现了213次。有调和分析方向的研究者进一步解读，这篇手稿把几何测度学派的处理方式与非线性波学派的技巧做了融合，还引入了"熵余量"这样的新计量概念，若这套框架最终被验证，意义将不止一道题。知乎
生成已经不是问题，可验证才是门槛
722篇手稿里，只有约42%的结果做了Lean形式化——把证明翻译成机器可以逐行检查的代码，产量跑在了验证前面。量子位
而最受关注的074挂谷组恰恰没有形式化、没有同行评审，OpenAI在README里自己写道：一些未经形式化的结果"可能有问题"。量子位
同一个月，另一条路线给出了对照样本。上海人工智能实验室宣布大湾区大学许地生团队依托书生S2大模型、以人机协同方式完成三维Ghys猜想的证明：模型负责大范围系统探索，专家负责判断方向和取舍，最后由北京大学团队做Lean形式化验证。 两条新闻摆在一起，差别一目了然：AI做数学，瓶颈已不在"能不能生成"，而在"能不能被检查"。知乎
抵制也由此而来。陶哲轩牵头人类数学协会发布联合声明：数学家们并没有要求做这些工作，一次性发布700多个文件，展示的不是学术，而是权力。 他担心的不只是节奏被搅乱：一道题被AI解掉，就没法再变回未解决状态，人类原本可能在这道题上长出的新方法随之断掉；而一篇175页的证明，全世界能认真读懂的人屈指可数。量子位
接力棒交回人类：读懂，正变得比写出更稀缺
风波之后三周，数学界自己示范了人机分工的雏形。OpenAI率先攻下排除Siegel零点的难题后，仅5天，密苏里大学数学家Banks就把原稿铺开写成19页详尽版，还把只知道"存在"的那个常数算成了具体的0.003；又过4天，Kerr用鸽巢原理替换繁琐的插值推导，一刀砍到6页；10月下旬，与陶哲轩共同证明过素数等差数列定理的牛津数学家Green改出5页精简版，在论文首页写下"本文不主张任何人类原创性"。 一道悬了近百年、张益唐两度冲击未果的难题，就这样从AI的手稿走进数学家课堂，全程12天。人类的位置没有消失，只是从"证明的写出者"变成"证明的读懂者、改写者和讲课的人"。36氪
王虹获奖后对AI的定位是"主动性助推器"，认为提出问题、创造概念、构建理论这些事，仍然是数学家的核心工作。 眼下真正悬而未决的，是验证与理解的速度能不能追上机器"想"出来的速度——这决定了"王的猜想"们的下一次通关，是数学的又一次胜利，还是一场暂时没人读得懂的演示。量子位
