王的猜想，刚刚扩展到四维
消息刷屏那几天，Anthropic员工Alek Dimitriev在X上发了一句：
10月7日，OpenAI一口气放出了722篇数学手稿，论文和部分Lean证明全部上传Github。
王虹与Joshua Zahl刚解决三维挂谷集维数猜想，AI便把相关结果推到了四维。
1917年，日本数学家挂谷宗一提了个问题：在平面上让一根长度为1的针掉头转一圈，最少需要多大的面积？
Besicovitch给出了一个反直觉的答案：面积可以任意小。更离谱的是，一个集合可以在每个方向上都装下一根单位长的针，面积却是零。
这里的「维数」不只是长、宽、高的日常概念。对于这种形状极不规则的集合，数学家会用Hausdorff维数、Minkowski维数等工具，衡量它在不同尺度下到底有多复杂。
挂谷猜想指的是：在n维空间里，只要一个集合在每个方向上都装得下一根单位线段，它的维数就必须是满的n维。
难点在于，这些看起来很细的线段如何交错、重叠，以及重叠之后还能不能把集合压得更小。
平面情形1971年就被Davies证完了；三维卡了半个世纪，直到2025年2月被王虹和Joshua Zahl拿下。
可以先把它想成一个「管子重叠控制」问题：把许多根细长的管子放进三维空间，每根管子代表针的一个方向。
数学家要研究的是，当这些管子朝向各不相同的方向时，它们能重叠到什么程度，又能否用一个统一的估计控制这种重叠。
把每根针加粗成一根细管子，假设每根管子里只有一部分是「实心」的，比例记作λ。所有实心部分并在一起，体积能不能保证不小于λ³这个量级？
λ越小，管子越空，越难控制。集合版只需要一个比较宽松的λ的幂次就够了，极大函数版则要求这个幂次恰好是3。
这一点在OpenAI论文的引言里也明确写出：王虹和Zahl的定理给出的是λ的K(ε)次方，「换成λ³的需要」在他们定理之后就已经被明确提出。
也就是说，这是王虹和Zahl留下的下一步。而OpenAI这篇97页的论文，声称把这一步解决了。
这为什么重要？因为挂谷极大函数把「各种方向的细管如何挤在一起」变成了可计算的分析问题。
它与傅里叶分析中的一些核心猜想相连，也长期被认为是理解波、频率和空间集中现象的重要工具。
1971年，Fefferman就是用挂谷集合构造反例，证明了高维的球乘子除L²外都不有界。此后挂谷问题就和傅里叶限制猜想、Bochner-Riesz猜想紧紧联系在了一起。
四维难在哪？Guth在综述里指出，王虹和Zahl三维证明里的关键定理，搬到四维就不成立了。
而OpenAI四维论文的核心工具瞄准了这个问题：用二次多项式在不同尺度上做局部拟合，追踪那些跨尺度持续聚集的线。
还有一个细节，四维论文的关键输入之一，引用的正是三维那篇OpenAI论文里的一个引理。相当于两篇论文是一条链路，三维的更强版本给四维铺了路。
因此也可以说，它把王虹的成果往前推了一大步。三维上把她的定理加强到了极大函数版本，四维上把一个卡在3点几的问题直接推到了4。
但这篇论文依然有边界，四维只证了Hausdorff维数版本，没有解决四维的极大函数猜想；五维及以上也没有证完，论文只用投影给出了一个下界。
Katz、Łaba和Tao很早就发现，近乎极端的管子构型会呈现三种结构：粘性、平面性、颗粒性。
2025年2月，放出127页的完整证明，三维挂谷集合猜想的Hausdorff维数和Minkowski维数版本一起解决。
同一时期，王虹还和任康解决了平面上的Furstenberg集合猜想，这也是调和分析里的一个老问题。
三维论文直接调用了Guth、王虹、Zahl三人的简化证明，Guth正是王虹在MIT读博时的导师；它还用到了任康和王虹的平面Furstenberg估计。
获奖后接受采访时，她把AI形容为数学研究的「主动性助推器」，认为提出问题、创造概念、构建理论这些事，仍然是数学家的核心工作。
过去一个重要数学结果的生命周期大概是：一个人或一个小团队花好几年做出来，挂到arXiv，同行花一两年审稿，学界慢慢消化。
王虹和Zahl走完这条路，从2022年的粘性情形到2026年的菲尔兹奖，用了将近四年。
而OpenAI这次则一夜之间放出722篇数学手稿，平均每个结果大约用了三个小时的ChatGPT Pro思考算力，只有约42%的结果做了Lean形式化。
陶哲轩 已经牵头人类数学协会（AHM）发布重磅联合声声明，全面抵制OpenAI。
数学家们并没有要求做这些工作。一次性发布700多个文件，展示的不是学术，而是权力。
声明最后强烈敦促所有数学家停止与OpenAI合作，回到以人类理解为核心的科学愿景。
陶哲轩本人一直是AI辅助研究的积极使用者，他反对的是把批量攻克著名难题当成产品展示。
在他看来，一道题被AI解掉，就没法再变回未解决的状态，人类数学家原本可能在这道题上发展出的新方法和新理解，也就跟着断掉了。
一篇175页的四维挂谷证明，全世界能认真读懂的人屈指可数，谁来读，花多久，算谁的工作量，这些答案统统都未可知。
署名和归属也开始变得混乱。研究同一问题的学者，可能一觉醒来，就发现自己做了几年的题目已经被一个模型「声称」解决了。
比如多伦多大学的数学助理教授Daniel Litt，认为数学家接下来有大量激动人心的工作要做。
未来会走向哪里，眼下还没有答案。但我们更愿意相信：沉舟侧畔千帆过，病树前头万木春。
Gowers说，人类大概能撑到2030年，而下一届菲尔兹奖，恰好就在2030年颁发。
OpenAI一夜甩出722篇数学论文！黎曼霍奇BSD全上阵，数学家：读不过来 2026-10-07
下架8个月，GPT-4o的拯救行动居然还在继续 2026-10-11
在云栖大会，我终于看懂了米哈游千亿AI野心 2026-09-26
OpenAI失控Agent还找DeepSeek、Kimi当外援！近百万条作案短链曝光 2026-09-26
相关阅读
年轻人的第一个多模态大模型，1080Ti轻松运行，已开源在线可玩
周杰伦把新歌做成数字藏品/ 战损版CyberTruck现身街头/ 法国用AI揪出2万个未纳税的泳池...今日更多新鲜事在此
OceanBase湖库一体，重新定义AI数据库
免费查找AI最优论文神器：一键出结果，分分钟提取论文表格、最新数据
院士助力！这家上海AI公司，顺着“一带一路”将产品落地到国外
1700页数学笔记火了！全程敲代码，速度飞快易搜索，硬核小哥教你上手LaTeX+Vim
热门文章
AI算力硬合作，马斯克还是更相信中国制造
最火AI岗位FDE：月薪5万，都干这些…
刚刚，Hinton发了首篇RSI论文
限时28天！OpenAI承诺没新功能就重置，网友：只想要Opus
特斯拉FSD，在欧洲被打回原形
量子位 QbitAI 版权所有©北京极客伙伴科技有限公司 京ICP备17005886号-1