10月26日（美国时间），OpenAI 宣布其内部模型在数学、计算机科学、物理学三个领域拿出新成果。刷屏的"证明全维度挂谷猜想"，其实站在一个更强的定理后面：模型声称证明了所有维度下的局部光滑化猜想，而按照 OpenAI 的论述，“这一结果进一步解决了所有维度下的挂谷猜想与 Stein 限制猜想”。 同时被宣称的还有两项：存在了近30年的指数时间假设（ETH）遭证伪，以及包括量子色动力学在内的四维量子场论获得严格的数学存在性证明。机器之心
先给出最影响判断的一个事实：截至北京时间10月27日，三项成果全部未经同行评审，也没有一项拿到专家结论，OpenAI 对它们的官方定位是"原始研究数据"。 "生成了一份证明"与"被科学界接受"是两件事，辨别真伪不靠气氛，靠一条条可检查的证据。哔哩哔哩
三项宣布各自的口径，都比标题小一圈
数学的入口不是挂谷猜想本身，而是 Christopher Sogge 在1991年提出的局部光滑化猜想——研究波在传播中聚焦时，时间平均能补偿多少规则性。2019年，Larry Guth、王虹和张瑞祥证明了二维情形；2025年王虹与 Joshua Zahl 解决三维挂谷集合猜想，才让"挂谷"第一次冲上热搜。这一次，模型声称找到一种新的辅助偏微分方程，把证明推进到所有维度。社区把这一组调和分析猜想排了强弱，挂谷在其中垫底——若局部光滑化成立，挂谷是随之解决的"较弱推论"，而不是被单独攻克。哔哩哔哩
第二项的分量最重。指数时间假设由 Russell Impagliazzo、Ramamohan Paturi 和 Francis Zane 在1990年代末提出，此后近30年，数百篇论文以它为前提建立图算法、数据库查询等领域的计算下界。 模型给出的反证是一个确定性算法：对固定宽度的 CNF 布尔公式，不仅能判定有没有满足条件的解，还能精确数出解的个数，运行时间界形如 2^{O(n/√log n)}，属于亚指数级；若成立，ETH 即告崩盘。但边界要画清楚：证伪 ETH 不等于 P=NP，P 与 NP 仍是悬案，从理论算法到实用也还需要大量研究。机器之心哔哩哔哩
第三项是传播中最容易被加码的。克雷研究所的千禧年难题要求同时证明"存在性"与"正的质量间隙"，而 OpenAI 这次宣布的部分是存在性，并未宣布解决质量间隙。 微博上"#OpenAI攻克千禧年数学难题#"的话题已经跑了出去。机器之心界面新闻
能检查的是材料，缺的是结论
先看材料。数学与计算机两项的自然语言手稿和 Lean 形式化证明均已公开，两份证明材料已上传 GitHub 供全球数学家验证。 从 OpenAI 官方公告到预印本论文，相关物料全部可以顺藤摸到。 Lean 的价值在于证明的每一步机器可查，但它只回答"推导是否自洽"；"所证命题是否恰好是原猜想"这道关，还要学术界来确认——即使有形式化，研究者仍需弄清形式化定理是否准确对应原来的猜想。知乎哔哩哔哩机器之心
再看谁来审。三项成果对应三种安排：数学没有指定审查小组，公开材料由社区自行组织复核；计算机一项则由 ETH 的原始提出者和同行接手——提出这一假设的研究者，正准备组织同行检查 AI 给出的反证，审查被宣布为开放、独立进行。 物理一项由2004年诺贝尔物理学奖得主 David Gross 牵头的工作组先消化长篇证明、再决定如何发表，AI 生成的原始证明暂不公开。机器之心
最后看历史记录。今年10月6日，OpenAI 一次性公开过722份模型生成的数学手稿，分属372个成果族。 手稿公开后，有三份因证明中的符号错误被撤回；官方仓库也写明，不同结果处于不同验证阶段，部分未形式化结果可能存在问题。机器之心哔哩哔哩
社区反应一半震撼、一半怀疑并存。知乎高票回答调侃：“数学界真的人人自危，说不定一觉起来自己的分支就不存在了”。 B站评论区里也有学过调和分析的学习者直言"一直感觉这个结果任意维是不对的"。知乎哔哩哔哩
普通人核对"AI 科研"，看这五个信号
查材料：原始手稿、代码或机器可查的证明是否公开。只有公告、没有物料，默认降级为"企业新闻"。
查形式化：有没有 Lean 这类可机器复核的证明，且形式化陈述是否与原猜想逐字对应——"机器通过"和"证的是这个问题"隔着一道关。
查审查人：谁在审、是否独立、结论出了没有。"假设提出者亲自验反证"的安排，远比发布方自我背书可信。
查口径：把发布方原文与转述标题并排比一遍——存在性 ≠ 攻克千禧年难题，证伪 ETH ≠ P=NP，证明局部光滑 ≠ 挂谷被单独攻克。标题每加码一步，可信度就该打一层折。
查记录：该团队历史成果的撤回情况、当前处于哪个验证阶段，以及领域一线人士的真实反应。震撼与质疑并存，才是正常的科研信号。
五项里一项都对不上的"突破"，按"待验证的知识"存着即可，不必按"已确立的事实"转发。
这次真正的新东西，是科学流程本身
当 AI 三周能产出722份前沿手稿、人类数学家逐篇消化不过来时，科学的瓶颈正从"谁能证明"移向"谁来验证、解释并纳入知识体系"。OpenAI 把 AI 产出定位为原始研究数据，并配套了一套规则：外部成员自愿、独立参与，不签保密协议，也不因模型发现替 OpenAI 争取学术署名，公司另向 Simons Foundation 相关计划投入500万美元支持研讨会与独立审查。 10月25日的国内数学论坛上，北京大学教授袁新意对同一问题给了冷静的注脚：“AI解题能力超强，总结能力可期待，但是提问的能力可能是瓶颈”。机器之心光明网
普通读者接下来的观察点非常具体：第一个专家结论何时落地——尤其是 ETH 的两位提出者给出的裁决。若审查通过，这将成为 AI 科研成果被科学界正式接收的重量级先例；若被推翻，它则会成为"AI 声称突破"最标准的拆解样本。在那之前，所有把"声称"写成"解决"的标题，都属于你该先警惕的信息。
