OpenAI 称 AI 取得三项科学发现，细节未公开
7 个来源7 篇报道更新于 2026年10月27日 20:37事件综述
OpenAI 宣布其 AI 在数学、计算机科学和物理三个领域各取得一项“重大科学发现”：数学上给出所有维度下局部光滑猜想的证明，计算机科学上给出推翻指数时间假说（ETH）的证明，物理上提出量子色动力学及标准模型一种统一完备化的严格存在性证明。OpenAI 称，计算机科学和物理两项由外部专家担任“shepherd”指导结果，数学一项则建议直接公开 AI 输出、由研究者自行梳理解释。
公开程度不一：数学结果已上传至 GitHub，物理信息尚未完整发布。X 用户 Rohan Paul 转述称，这些成果涉及千禧年难题之一、Kakeya 猜想及证伪已有约 25 年、被数百篇论文引用的 ETH；这些具体说法仅见于转述，OpenAI 未说明参与研究者，也未说明是否经过同行评议。
The Decoder 报道称，OpenAI 已将数学和计算机科学两项证明翻译成 Lean 供计算机逐步验证，并按专家组要求公开书面证明与 Lean 证明等原始数据，还承诺资助一场讨论该结果意义的会议；数学一项没有专门专家组担任 shepherd。这些验证安排能否证实证明成立，报道未给出结论。
最新进展OpenAI 请外部专家核查其 AI 在数学、计算机科学和物理学领域产出的证明
综述由 AIHOT 用 AI 根据各家报道生成，细节以原文为准。
报道时间线
10月27日周二
OpenAI 请外部专家核查其 AI 在数学、计算机科学和物理学领域产出的证明The Decoder 报道 OpenAI 请外部专家担任"shepherds"核查其 AI 在计算机科学、数学和物理学领域的三项证明结果，并将部分证明翻译成 Lean 供计算机逐步验证。
AI数学能力演进时间线调侃2023：GPT-4 几乎解决了小学水平的数学 2024：IMO 银牌 2025：IMO 金牌 2026 年 5 月：Erdős 单位距离猜想 2026 年 9 月：纳维-斯托克斯千禧年大奖难题被解决 2026 年 10 月：722 篇 AI 撰写的数学手稿 今天：OpenAI 证明 ETH 为假 明天：P = NP？
OpenAI 宣布 AI 模型取得三项科学突破，涉及局部光滑猜想、指数时间假设与杨–米尔斯理论OpenAI 于 10 月 27 日宣布其 AI 模型在数学、计算机科学和物理学领域取得三项研究突破。数学上给出了所有维度下局部光滑猜想的证明，从而解决挂谷猜想与斯坦因限制猜想；计算机科学上给出推翻指数时间假设（ETH）的证明，暗示相关计算任务可能有更快算法；物理学上提出量子色动力学及标准模型一种统一完备化的严格存在性证明，涉及杨–米尔斯千禧年难题的一部分。
OpenAI 宣布数学、计算机科学与物理三项重大发现，并与外部专家合作验证OpenAI 宣布三项涉及数学、计算机科学和物理的重大发现，包括证明局部光滑猜想、反驳指数时间假说（ETH），以及涉及 QCD 的量子场论存在性证明。
OpenAI 宣称 AI 证明涵盖 Millennium Prize 问题一半、Kakeya 猜想与指数时间假说反例Rohan Paul
Rohan Paul 转述 OpenAI 宣称其 AI 完成三项跨领域数学证明。最重要的结果是指为期约 25 年的 Exponential Time Hypothesis 被其 AI 证明为假，而数百篇论文建立在该假说之上。
Greg Brockman 宣布 OpenAI 在数学、复杂度理论和量子场论领域的三项科学发现Greg Brockman
Greg Brockman 宣布三项重大科学发现，分别属于数学（调和分析）、计算机科学（复杂度理论）和物理（量子场论）。他表示 AI 开始帮助我们加深对宇宙的理解，并附上 OpenAI 与学术社区合作详情的链接 https://openai.com/index/building-scientific-understanding-with-academic-communities/。