2026年菲尔兹奖公布，王虹凭借三维挂谷集猜想的证明拿下数学界最高荣誉。仅仅三个月后，OpenAI就甩出了一份重量级答卷——722篇数学手稿，归为372个成果族，其中不仅解决了王虹问题的“威力加强版”三维挂谷极大函数猜想，还首次证出四维挂谷集的豪斯多夫维数等于4，把人类此前卡在2021年的3.059维纪录，直接推到了理论上限。
从三维到四维，差了几个“质变”？
挂谷问题的源头，是1917年日本数学家挂谷宗一的提问：细针原地转一圈扫过的最小面积是多少？后来贝西科维奇证明，只要转法巧妙，面积可以任意小，甚至接近0，这类集合被称为挂谷集。但数学家很快发现，面积为0的集合没法区分“像线还是像面”，于是引入豪斯多夫维数——用小球盖集合，半径缩一半，所需球数若翻二倍是一维，翻四倍是二维，翻八倍是三维，中间是小数维。
学界早就猜，n维空间的挂谷集维数必须等于n，哪怕体积为0。王虹2026年的获奖成果，就是补全了三维的证明。而OpenAI的四维结论，是在她的基础上推进的。从三维到四维，难度是实打实的质变——维数越高，覆盖所有方向线段的“管子”穿插堆叠的方式就越多，人类数学家得花几年啃的问题，OpenAI平均3小时就能出一个结果。
3小时的“捷径”，有没有踩数学的“红线”？
OpenAI的操作听起来很高效：用一个未发布的内部模型，一个提示词，一个Agent单跑，还提前筛了4000个问题，最后留下722篇。GitHub上线24小时就收了1万星，可质疑声也没停。
人文数学协会说，数学家没要求OpenAI做这项工作，这只是公司的“性能营销”。25位菲尔兹奖得主还联名批评，AI把“攻克名题”当营销手段，反而干扰了数学研究。
更核心的矛盾在验证上。王虹2025年2月把127页的三维证明挂到arXiv，从那时候起，她自己自查、陶哲轩等学者分析，直到2026年7月菲尔兹奖揭晓，验证前后花了一年半，至今还有人没完全吃透。而OpenAI的722篇里，很多是上百页的长篇论证，能读懂某一篇的专家可能只有几十人，OpenAI自己的数学家也未必全懂，比如074号手稿就没被内部吃透。
真正的难题，是“证明”的定义？
现在的074号手稿，还没经过Lean形式化验证，也没同行评审，只是OpenAI声称解决了问题。Lean是数学界常用的“证明助手”，能逐行检查逻辑，372个成果族里有235个带Lean说明，占63%，但Lean也可能翻译偏差，没法判断结果的价值。
学界分成了两派：多伦多大学的学者觉得藏着结果可惜，应该公开；可更多人在意“谁来审稿”——没人能短时间看完几百篇上千页的证明，这722份“成果”，到底算不算真正的数学突破？
一个人类无法验证的“证明”，到底能不能算数学史上的新一步？
素材来源：钛媒体 · AI情报、科研前沿
查看报道原文
本文由 WeValue 情报引擎基于公开报道整理改写
发表第一条评论吧