王的猜想，刚刚扩展到四维
内容提要
OpenAI发布722篇数学手稿，其中两篇声称证明三维挂谷极大函数猜想和四维挂谷猜想，推进了王虹2025年菲尔兹奖成果。论文未经同行评审和Lean形式化。陶哲轩等发起声明抵制，认为批量发布是权力展示，审稿与归属成难题；也有人认为数学将迎新时代。
延伸解读
挂谷猜想：从三维到四维的跨越
挂谷猜想探讨集合在每个方向包含单位线段时的维数。三维情形2025年由王虹和Zahl证明，四维此前最佳结果约3.059。OpenAI手稿声称直接证明四维Hausdorff维数为4，但仅限该版本，未解决极大函数猜想，五维及以上也未完成。
极大函数版本：更精细的重叠控制
三维挂谷极大函数猜想研究细管重叠的定量估计，要求实心部分体积下界为λ³量级，比王虹和Zahl的集合版更强。OpenAI手稿声称解决此问题，若成立，将推进傅里叶分析中与限制猜想、Bochner-Riesz猜想相关的核心问题。
未经验证与学界抵制
OpenAI发布的722篇手稿未经同行评审，仅约42%做了Lean形式化，README承认部分结果可能有问题。陶哲轩等发起声明抵制，认为批量发布是权力展示，审稿与归属成难题。这反映了AI生成证明在可信度与学术规范上的争议。
王虹工作的基础性角色
OpenAI两篇挂谷论文大量引用王虹与Zahl的成果：三维论文调用其简化证明及与任康的平面Furstenberg估计，四维论文使用其点积定理。若手稿成立，也是在王虹框架上的推进。王虹将AI视为数学研究的“主动性助推器”，强调提出问题与构建理论仍是数学家核心工作。
Q&A
OpenAI最近在数学领域发布了什么重大成果？
OpenAI于10月7日发布了722篇数学手稿，其中两篇声称证明了三维挂谷极大函数猜想和四维挂谷猜想，将王虹2025年菲尔兹奖成果向前推进。
挂谷猜想是什么？为什么它很重要？
挂谷猜想指在n维空间中，若一个集合在每个方向上都包含单位线段，则其维数必须为n。它连接傅里叶分析、限制猜想等核心问题，是调和分析中的重要难题。
OpenAI的两篇挂谷论文具体解决了什么问题？
一篇97页论文声称证明了三维挂谷极大函数猜想，将王虹和Zahl的集合版结果加强到λ³的幂次；另一篇175页论文声称证明了四维挂谷集的Hausdorff维数为4，突破了此前卡在3点几的进度。
王虹在挂谷猜想上的工作为OpenAI的证明提供了哪些基础？
王虹与Zahl在2025年证明了三维挂谷集合猜想，其简化证明被OpenAI三维论文直接调用；四维论文则使用了王虹和Zahl的点积定理。OpenAI的成果是在王虹框架上的推进。
数学界对OpenAI批量发布论文有何反应？
陶哲轩牵头人类数学协会发布声明抵制，认为批量发布是权力展示，审稿和归属成难题；也有人如Daniel Litt和Yann LeCun认为数学将迎来新时代。
OpenAI的挂谷论文存在哪些局限或风险？
论文未经同行评审和Lean形式化，OpenAI承认部分结果可能有问题；四维只证了Hausdorff维数版本，未解决极大函数猜想；五维及以上未证完。审稿困难，归属混乱。
