10月26日，OpenAI宣布其内部模型在数学、计算机科学和物理三个方向取得成果。 数学这项最抓人：模型证明了适用于所有维度（n≥2）的局部光滑猜想。新浪科技OpenAI
由此可以推出一整条猜想链：Bochner–Riesz、球面限制（Stein限制猜想）、挂谷。传播中最常见的说法是“AI一举推平调和分析四大猜想”。
这个说法不算全错，但需要拆开看。OpenAI的论文写得很克制：解决的是“内部区间”，几类估计要求严格不等式，或允许任意小的损失。
局部光滑的端点情形，论文第8节专门讨论了两个障碍。所以更准确的表述是：这条猜想链在开区间内被拿下，而不是每个角落都扫干净了。
先说什么叫局部光滑。波从一层薄球壳出发，在焦点那一瞬，Lp 范数可能比初始大得多。Sogge 在1991年问：若对一段时间做平均，需要多少阶导数才能控制住它。
直观理解是，极端聚焦只能维持很短时间，时间平均能换回一点正则性。这个直觉不新，难的是把不同方向的波放回一起时，不丢掉干涉项。
此前，局部光滑猜想只在二维被完整解决。2019年，Guth、王虹、张瑞祥拿下二维情形；2025年，王虹和 Joshua Zahl 又解决了三维挂谷猜想。OpenAI这次声称直接做到所有 n≥2。
论文10月25日挂在GitHub，59页。核心不是把已有估计再推一格，而是造了一个守恒流：把波沿光线方向做虚平移，让不同方向的波在求和前保留干涉。
随后把守恒流的时间分量当作密度，解一个四元数 Hessian 的行列式方程。关键的环形频率估计只带一个对数损失，再靠插值和求和推到全局。
如果推理成立，后面是一串自动推论：局部光滑推出 Bochner–Riesz，推出球面限制，推出挂谷极大函数，最后得到每个挂谷集的 Hausdorff 维数都是 n。
仓库里的 Lean 对照文件正好列了六个目标：局部光滑、Bochner–Riesz、球面限制、挂谷极大、挂谷、Stein 平方函数。这份清单比二手转述更能说明它想证什么。
但“证明”和“被接受”是两件事。三项结果都没有经过同行评审。 OpenAI称模型10月18日写出自然语言证明，19日完成 Lean 形式化。林马AI日报未来图灵
OpenAI请了外部专家，但数学部分没有像 ETH 那样先组好审查组，而是把材料直接公开，让研究者自行复核。 这意味着目前还没有一个被学界认可的“已验收”结论。机器之心
Lean 能确认的是，代码里的定理确实被证了。它不能自动确认，代码里的定理就是数学家心里的那个猜想。中间隔着“形式化是否忠实”的问题。林马AI日报
OpenAI近期的记录也提醒人慢一点。10月6日它一次放出722篇数学手稿，随后因符号错误撤回3篇。 发布方式的争议，至今没有完全平息。机器之心
所以现在最准确的说法是：OpenAI声称解决了局部光滑猜想，并公开了论文与形式化证明；学界尚未完成独立审查。这两句话必须一起说。
若审查通过，重要的可能不只是“AI赢了”，而是这套守恒流方法能不能被人类接着用。论文只有59页，这个长度本身就在邀请别人去读、去挑错。
王虹和 Zahl 的三维结果也没有作废，它是这篇论文的起点之一。AI做的，是把梯子往更高处接了一截。
