# OpenAI 宣布 AI 模型取得三项科学突破，涉及局部光滑猜想、指数时间假设与杨–米尔斯理论

- 来源：AI HOT · 模型
- 发布时间：2026-10-26T23:37:17.237Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/jg501jd3ji5msj210em6lx6jg
- 原文：https://www.ithome.com/1/018/203.htm

## 摘要

OpenAI 宣布其 AI 模型给出了所有维度下局部光滑猜想的证明、推翻指数时间假设的证明，以及涉及量子色动力学和纯杨–米尔斯理论的数学存在性证明。数学与计算机科学成果已通过 Lean 形式化验证，自然语言证明和 Lean 证明已在公开 GitHub 仓库发布。物理学成果正由大卫·格罗斯等专家参与审查，涉及杨–米尔斯千禧年难题的一部分，相关成果仍需学术界进一步独立确认。

## 推荐理由

OpenAI 将数学与计算机科学成果交由 Lean 形式化验证并公开资料，外部专家参与审查构成这些科研成果的确认流程。