10 月 27 日，OpenAI 一次拿出三项由其 AI 模型完成的证明，分别落在数学、计算机科学与物理学。数学那份令局部光滑猜想对所有维度成立，挂谷猜想与斯坦因限制猜想随之解决；计算机科学那份给出的是指数时间假设（ETH）不成立的证明；物理那份处理的是量子场论的存在性：某类四维量子场论获得了严格的数学证明，内容覆盖量子色动力学与标准模型的一种统一完备化，其中一部分对应杨–米尔斯千禧年难题。官方公告把这些成果当作 AI「独立发现并证明复杂科学理论的能力」的例证，而不只是回答问题或辅助研究。
节奏同样值得记录。据 IT 之家整理的时间线，10 月 16 日生成推翻 ETH 的自然语言证明，17 日完成 Lean 形式化；18 日得到局部光滑猜想的证明，19 日完成形式化。两项证明从生成到机器可验证，各花了一天。
三项成果各自意味着什么
数学一项覆盖面最广，成果落在调和分析：挂谷与斯坦因限制两个猜想随局部光滑猜想的证明一并解决，而非各自单独被攻克。据介绍，证明的关键是一种新构造的辅助偏微分方程。自然语言版本和 Lean 版本都已放进 OpenAI 的公开代码仓库，研究者可以直接核对。
计算机科学一项牵动面更大：指数时间假设与 P/NP 问题相关，有数百篇论文以它为前提。若证明成立，意味着相关计算任务可能有比预期更快的算法，一批以此为前提的结论需要重新审视。
物理一项分量最重，也最不透明：这是对一种四维相互作用量子场论（含规范场与费米子，即量子色动力学及标准模型的一种统一完备化）的严格数学存在性证明，其子问题涉及杨–米尔斯千禧年难题。而这恰恰是至今没有完整公开的那一项。
验证靠 Lean，把关靠专家
三项成果都没有走传统同行评审。数学与计算机科学两项已翻译成 Lean，由计算机逐步验证，并按外部专家组要求公开了书面证明与原始数据；OpenAI 还承诺出资办一场学术会议讨论其影响。据 IT 之家报道，计算机科学方面牵头验证的是三位外部专家，其中包括 ETH 的提出者帕图里和麻省理工学院的威廉姆斯；物理方面，审查团队由 2004 年诺贝尔物理学奖得主格罗斯牵头，成员包括千禧年难题制定者之一贾菲等人，目前仍在审核。
两个提醒要放在一起看。其一，综合各家报道，这些验证安排能否证实证明成立，目前没有定论。其二，「独立发现并证明」是 OpenAI 对自家模型能力的定性：形式化验证能保证每步推导可查，定理表述是否恰当、证明是否真的「独立」，还要靠学术界独立判断。
发布节奏成了新的争点
摩擦集中在信息分发环节。据 The Verge 报道，隶属普林斯顿高等研究院的数学与人工智能顾问小组（AGMAI）公开呼吁 OpenAI 立即公布被搁置的物理证明材料，包括自然语言与 Lean 输出。这项呼吁的背景，是三项成果的公开程度并不一致；OpenAI 回应称，物理材料的发布方式将听从外部专家组意见。另一边，TechCrunch 报道了竞争线：Anthropic 的数学家质疑 OpenAI 的 ETH 反驳只是建立在已有工作上，随后 Anthropic 自己也发布了模型层面的 ETH 反驳。
把这些动作放在一起，能看到一条新规则正在成形：AI 成果何时公布、公布多少、按什么顺序公布，主动权在公司手里，专家组以顾问身份介入，期刊和会议被压缩成一场由厂商资助的讨论会。
我的判断
三项科学证明能否成立，要等 Lean 代码核对与专家审查给出答案，眼下下任何结论都为时过早，公开报道也强调成果仍需学术界进一步独立确认。真正暴露出来的是另一件事：AI 生成成果的速度已经跑在学术消化速度前面，而发布环节的规则没有跟上。AGMAI 的公开呼吁之所以值得重视，是因为它来自受邀参与验证的一方——如果连内部专家都对信息公开程度不满，这套「公司发布、专家背书」的流程就需要重新协商。对行业而言，为 AI 产出的科学成果建立各方认可的发布与审查秩序，比再多证明一个猜想更紧迫。
