2026年10月26日，OpenAI宣布AI在数学、计算机科学和物理学领域取得三项新发现，分别涉及调和分析、复杂性理论和量子场论。OpenAI此次发布采取“分学科差异化公开”策略：数学与计算机成果已上传GitHub，物理成果暂不公开，三项结果均待学界独立验证。

数学方面，模型提出了一个新的辅助偏微分方程，给出了所有维度下局部光滑猜想的证明，进而解决所有维度下的挂谷猜想和Stein限制猜想。该成果于10月18日获得AI输出，10月19日完成Lean形式化验证。

计算机科学方面，模型用自然语言给出了推翻指数时间假设（ETH）的反证，并于10月17日完成Lean形式化验证。ETH是理论计算机科学中长期被广泛接受的基础假设，数百篇论文以其为前提推导条件性复杂度结论。该结果若成立，可能为寻找更优算法打开新方向，但理论进展转化为实际性能提升仍需大量后续研究。OpenAI邀请ETH原始提出者Impagliazzo、Paturi及MIT教授Williams牵头审查，三人明确表示其参与不构成对该主张的认证。

物理学方面，模型给出了四维相互作用量子场论的严格存在性证明，涵盖量子色动力学和标准模型的一个统一完备版本。这项工作同时证明了纯杨–米尔斯理论的存在性，这是千禧年大奖难题“杨–米尔斯理论存在性与质量间隙”的关键组成部分，但未涉及质量间隙部分。该成果由诺奖得主戴维·格罗斯领衔的外部专家团队负责审查。

此次发布中，OpenAI引入外部专家担任“牧羊人”（Shepherds），负责解读、验证AI生成成果并决定发布方式，同时声明不寻求学术署名权。这一模式被视为对学界此前关于AI生成数学成果透明度与可审查性质疑的回应。

信息来源：

https://openai.com/zh-Hans-CN/index/building-scientific-understanding-with-academic-communities/

https://news.sciencenet.cn/htmlnews/2026/10/573665.shtm