OpenAI称AI解开三项科学难题，猜想提出者也来核验了

OpenAI在2026年10月26日宣布内部模型在数学、计算机和物理领域产出三项新发现，同时把这些手稿定位为“原始研究数据”，邀请外部专家参与理解和核验。三项结果的推进方式各不相同：涉及波如何聚焦等长期问题的数学部分，以及计算机部分的证明手稿与Lean形式化文件都已放上公开GitHub；物理材料暂不公开，留给专家组写清解释后再决定如何发布。

电脑查完逻辑步骤，猜想提出者还要确认怎么理解

计算机部分针对的是“指数时间假设”（ETH），讨论一类逻辑难题随规模扩大究竟有多难，自然语言证明和Lean文件已放进官方仓库的公开材料目录。OpenAI称模型推翻了这一假设，负责组织核验的是Russell Impagliazzo、Ramamohan Paturi和麻省理工学院的Ryan Williams，前两位都是当年提出该假设的学者。

既然证明已经由Lean检查，为什么还要学者出面核对？按The Decoder在10月27日的梳理，Lean负责让电脑检查写进系统里的逻辑步骤；至于这套形式化命题有没有准确对应原本的问题、整段证明到底在说什么以及怎么用，仍要科学家把关。Williams在10月27日接受TechCrunch采访时说，证明里有两三块很陌生的部分，值得学术社区共同理解，核验小组也已发公开信邀请同行讨论核验与发布规范。OpenAI介绍，就算推翻假设的证明成立，想转化成实际的算法改进还要大量后续研究，日常电脑运算不会因此立刻全面提速。

物理项涉及千禧难题的存在性部分，专家参与核验仍可自由表态

物理部分OpenAI声称给出了某些四维相互作用量子场论的数学存在性证明，包含杨—米尔斯存在性部分，由David Gross带领Michael Douglas、Arthur Jaffe、Igor Klebanov和Nikita Nekrasov组成专家组梳理。对照克雷数学研究所的原始题目，这道千禧难题将“存在性”与“质量间隙”并列要求，OpenAI本次交出的只是存在性这一部分，完整的千禧难题还要求证明质量间隙。

按OpenAI说明，外部小组均是自愿无偿参与，不签保密协议，可以自行讨论并发表结论；学者接手承担的是审查工作，还没有给结论背书。对关心AI能力边界的读者来说，GitHub上那两份公开手稿是眼下能直接看到的实质进展；计算机反证能不能站住脚、物理那份未公开的材料究竟写出了什么，都要看这几组外部学者接下来的核验结论与解读。