**OpenAI 宣布三项重大科学突破：证明数学猜想、推翻指数时间假设及证实量子场论存在性**

_OpenAI 宣布斩获三项重大科学突破，涉及数学猜想、计算机算法及千禧年难题_

> OpenAI 宣布其 AI 模型在数学、计算机科学和物理学领域取得三项突破性进展。在数学上，模型证明了局部光滑猜想并解决了挂谷猜想；在计算机科学上，模型推翻了长期被广泛接受的指数时间假设（ETH）；在物理学上，模型提出了量子色动力学及杨–米尔斯理论的严格存在性证明。目前，数学和计算机科学成果已通过 Lean 工具进行形式化验证并公开，物理学成果正由顶尖专家审查，相关证明代码已上传至 GitHub。

**来源信息**
- **来源**：IT之家（RSS）
- **分类**：ai-models
- **发布时间**：2026-10-27 07:37（北京时间）
- **原文**：[打开原文](https://www.ithome.com/1/018/203.htm)