10月26日，OpenAI宣布其内部模型完成三项科学成果，其中最直接推高这轮热榜的，是对所有维度下局部光滑化猜想的证明。按照调和分析中一条经典的蕴含链，这一结果若成立，所有维度的挂谷猜想作为推论自动成立；OpenAI进一步声称，Stein限制性猜想也随之解决——热榜词条"全维度挂谷猜想被AI攻克"说的就是这件事。 但需要先把状态说准：截至今天，这份证明完成了机器可检查的Lean形式化，尚未通过数学界的独立人工核验。 OpenAI官方公告的原话是把这批文稿定位为"原始研究数据"，理解与确认的工作由学术共同体接手。 用"AI宣称攻克"来描述当前事实是准确的，用"已被公认解决"则超前了。机器之心知乎知乎日报
被证明的是"波"，被顺带解决的是"针"
挂谷猜想源于1917年日本数学家挂谷宗一的问题：一根针在平面上转遍所有方向，最少需要多大空间？ 它后来演化成一个维数命题——任何包含所有方向单位线段的集合（贝西科维奇集，1928年已证明其面积可以为零），其豪斯多夫维数和闵可夫斯基维数必须等于所在空间的维数。知乎知乎微博
这次AI没有直接攻这个问题本身，而是换了入口。它证明的局部光滑化猜想由数学家Christopher Sogge在1991年提出，研究波动在传播中的集中现象：某个瞬间波可以在一点异常聚焦，但对时间取平均后，应当得到更好的估计。 局部光滑化与挂谷集合的几何结构、傅里叶限制性估计属于同一条相互牵连的理论链，链条上端成立，下端自动成立。知乎
这个"换入口"有明确的前后对照。10月6日，OpenAI已在GitHub公开首批722篇AI生成数学手稿，归入372个成果族，署名只有"OpenAI"，其中两篇都冲挂谷：一篇175页，攻四维；一篇97页，攻三维的加强版。 而这两份手稿当时还没有对应的Lean形式化证明。 三周后，正面强攻被局部光滑化这条侧路取代：OpenAI称，模型通过一种新的辅助偏微分方程完成了证明，并已公开自然语言证明与Lean形式化材料。知乎机器之心知乎
两份材料的宣称范围还不完全一样。公告文字层面，OpenAI声称连带解决的是全维挂谷猜想与Stein限制性猜想；而公开仓库里那份局部光滑化Lean形式化说明列出的范围更宽：涵盖所有二维及以上空间中的局部光滑化估计，并证明相应维度下挂谷集合具有完整的Hausdorff维数。 也就是说，网传"调和分析四大猜想被一次拿下"的说法与形式化宣称的口径基本相符——但请注意，相符的是"宣称"，这些形式化命题能否与数学家陈述的猜想逐字对上，正是接下来人工审查的关键。机器之心知乎日报
"全维度"三个字，跨度有多大
二维挂谷猜想早在1971年就被解决；局部光滑化的二维情形由Larry Guth、王虹和张瑞祥在2019年证明，论文2020年发表于《数学年刊》。知乎
真正的分水岭在2025年2月：王虹与Joshua Zahl发布了长达127页的证明论文，宣布解决了三维挂谷猜想。 凭借这项工作，王虹获得今年7月23日在费城颁发的菲尔兹奖。微博微博
四维及更高维度则长期没有满维结果。据公开技术解读，人类此前对四维挂谷集合的最好成绩只是维数下界3.059，由2021年的"平面刷"论证得到。 五维及以上同样远未触及满维。所以"所有维度"不是把三维的答案推广一下，而是声称一次性终结整条维数序列——这恰是过去一百年没有任何人能做到的事。知乎
两者的结论也不同层次：王虹与Zahl解决的是三维集合版猜想；OpenAI在10月6日手稿里声称的三维极大函数猜想是它的强化版，10月26日的全维结论走的是局部光滑化蕴含链。宣称彼此之间是递进关系，但都等待同一个环节：人类的审查。
证明"机器可检查"之后，缺的那一环是什么
这次争议最集中的地方，是三层状态经常被混为一谈：自然语言证明生成（10月18日）、Lean形式化完成（10月19日）、独立同行确认（未完成）。 前两层都有实质进展：自然语言手稿和形式化证明已经公开，Lean的小内核会逐步检查每一步推理是否合法，“证明步骤对不对"在相当程度上交给了机器。但第三层是另一回事：Lean验证过的命题，是不是当初所有人想要的那个命题——机器检查推理，不检查翻译。 王虹与Zahl的三维证明仍是有效成果，AI结果目前对挂谷的"全维度"贡献停留在"已形式化的宣称”。机器之心知乎
三个背景信息能说明为什么数学界这次格外谨慎。其一，同一批722篇手稿公开后，已有三篇因证明中的符号错误被撤回。 其二，同一天公布的ETH（指数时间假设）证伪结果，由该假设的两位原始提出者Impagliazzo、Paturi与MIT的Ryan Williams牵头审查，三位审查人公开声明"参与不应被视为对结论的认证"。 其三，菲尔兹奖得主陶哲轩在10月下旬的《观察家报》专访中警告，一些未经充分整理的AI证明可能沦为"有毒废料"。机器之心知乎DeepTech深科技
OpenAI公布结果数小时后，Anthropic在GitHub发布了自己对ETH的反驳与Lean 4形式化，两家都称各自模型在10月16日得到这一结果。知乎
同一天，Axiom公司宣布用约24天、数十个AI智能体完成有限单群分类定理（CFSG）的Lean形式化，约4310万行代码，过程中还发现了34处"值得注意的偏差"。 机器产能已经不是瓶颈，能读懂、能签字的人手才是——这是这轮事件里比"攻克"二字更实在的变化。知乎
若获确认，意味着什么；没确认之前，该盯什么
先给影响划边界。挂谷猜想本身不直接产出工程应用，它的价值在于调和分析与偏微分方程的地基：一旦全维局部光滑化被确认，波动方程估计、傅里叶限制性理论这一整条研究线的工具库会被改写，OpenAI宣称的新辅助PDE方法是否可迁移，是比结论更值得数学家关注的问题。参照同一个公告里的ETH结果——证伪它也不意味着P=NP，Anthropic在仓库里明确注明其算法"纯粹是渐近的，对实际求解公式不说明任何问题"。 AI科学发现的叙事需要逐条做这种条件化拆解，否则容易从"突破"滑向"什么都能快速解决"的错觉。知乎
接下来值得观察的信号其实很具体：数学共同体能否像ETH部分那样组织起独立的审查小组；形式化命题与原始猜想的一致性核对会不会出现分歧；以及王虹、Zahl等一线研究者的公开回应——那批10月手稿里三维一篇就大量调用了王虹与Zahl的简化证明，这条边上AI站在人类肩膀上，而非凭空冒出来。 国内也有团队跟上同一热点：云知声宣称其U2-Flash模型围绕四维集合版挂谷猜想展开了自主推演并生成预印本手稿，同样未经学术验证，性质上更接近推理能力展示而非证明。知乎云知声Labs
回到热榜词条本身："全维度挂谷猜想被AI攻克"是一次真实的事件宣称——OpenAI给出了可机器检查的全维证明，并公开了全部材料；但数学共同体接受与否，取决于还没走完的人工核验。一根针转了109年，转到这一步，最后的落点仍然在人类手里。
