10月26日，OpenAI宣布在数学、计算机科学和物理学三个领域取得新成果：证明所有维度下的局部光滑化猜想、证伪指数时间假设(ETH)，以及为包括量子色动力学在内的四维量子场论建立严格的数学存在性证明。OpenAI总裁GregBrockman在X上将其称为三项重大科学发现，并感叹AI开始帮助人类增进对宇宙的理解。
数学领域，AI证明了适用于所有维度的局部光滑猜想，由此推导出挂谷猜想在所有维度得到解决。2025年，中国数学家王虹刚因证明三维挂谷猜想引发关注。OpenAI披露，模型于10月18日生成自然语言证明，次日完成Lean形式化，两份证明材料已上传GitHub供全球数学家验证。
计算机科学领域，AI推翻了长期被广泛接受的指数时间假设(ETH)，并完成Lean形式化验证。OpenAI邀请了ETH的原始提出者、加州大学圣迭戈分校的RussellImpagliazzo和RamamohanPaturi，以及麻省理工学院的RyanWilliams共同领导外部研究团队审查该成果。
物理学领域，AI为四维空间中包含规范场和费米子的某些相互作用量子场论构造了严格数学存在性证明，涉及量子色动力学及杨-米尔斯理论的存在性问题，后者是世界七大千禧年数学难题之一。五位理论物理学家组成审查团队，负责人DavidGross为2004年诺贝尔物理学奖得主。
OpenAI表示，数学和计算机科学成果已通过Lean数学验证工具进行形式化验证，并公开证明材料；物理学成果正由诺贝尔物理学奖得主等专家参与审查。相关成果仍需学术界进一步独立确认。
需要注意的是，形式化验证主要确认证明在逻辑上是严密的，但证明所依据的定义、表述是否准确，以及结论的研究价值，仍需学术界共同评估。物理学成果则更依赖专家审查与后续实验或理论检验，验证周期通常更长。
值得注意的是，OpenAI此次改变了发布策略。就在10月6日，其公开的722份AI数学手稿中，部分被发现存在错误，撤回3篇、修订14篇。此次将AI生成的证明视为原始研究数据，邀请外部科学家参与验证、解释和整理，并不寻求学术署名。
此次公告的核心意义在于，AI展现出了独立发现并证明复杂科学理论的能力，而不只是回答问题或辅助研究人员整理文献、检查计算。这一变化意味着AI在基础科学研究中的角色正在从“工具”向“研究参与者”延伸，也让行业开始重新思考人工智能在科学发现中的边界。
