OpenAI公布三项AI科研结果并开放同行检视：数学与计算机科学证明已形式化为Lean

OpenAI于10月26日发布一组AI科研成果，涉及调和分析、计算复杂性和量子场论。值得关注的不只是结果本身，还有它采用的分阶段公开方式：研究者先担任“引导人”，再由学术社群解释和检验模型产出的材料。

在数学部分，OpenAI称其模型给出了各维度局部平滑猜想的证明，并将自然语言证明和Lean形式化公开；公司表示，这一结果还关联Kakeya猜想与Stein限制猜想。计算机科学部分，OpenAI称系统反驳了指数时间假设（ETH），相关结果也已用Lean形式化，并邀请外部专家组组织公开审查。

物理部分则采取不同策略：关于量子色动力学等理论存在性的材料暂不公开，由研究者团队继续整理。OpenAI表示，这些成果应先视作待理解的研究材料，并欢迎学界反馈。

需谨慎区分：以上是OpenAI对模型输出及形式化进展的介绍，不等于相关发现已获得学界共识；形式化检查与结果的数学意义、前提和适用范围仍需专家独立审读。此次发布更像一次AI生成研究结果如何交由学术共同体验证的试验。

来源：OpenAI Research，2026年10月26日
https://openai.com/index/building-scientific-understanding-with-academic-communities/