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

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

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