OpenAI 宣布 AI 在数学、复杂性与量子场论获三项发现

OpenAI 于 10 月 26 日宣布其 AI 模型在数学、计算机科学与物理学三个领域产出三项重大科学发现，规模罕见，横跨调和分析、复杂性理论与量子场论，其中多项与千禧年大奖难题或数十年核心开放问题直接相关。公司称已提供 Lean 形式化验证，学界在震惊之余正组织独立学术审查。目前各项证明均属「宣称」性质，尚待完整同行评审确认，但若属实将被视为 AI 从工具转向「科学发现主体」的标志性事件。

已确认

• 数学：OpenAI 通过官方 repo（openai/math，已有 16k stars）发布前印本，称 AI 发明新技术「局部平滑用于欧氏波动方程」，证明 1991 年提出的局部光滑猜想（全维度），并借此同时解决所有维度下的 Kakeya 猜想与 Stein 限制猜想，还解决了 35 年未解的波聚焦问题。此前该方向仅有 2019 年 Guth-Wang-Zhan 的二维结果与 2025 年的三维进展。
• 计算机科学：模型声称证伪指数时间假设（ETH）——即 3-SAT 等问题不存在亚指数时间算法这一复杂性理论与大量下界证明的基石。理论计算机学者 Ryan Williams 宣布 OpenAI 内部模型产出了对 ETH 的反驳；Andrew Curran 在 X 上贴出论文链接宣称 ETH 不成立；研究者 Scott Armstrong 也发布工作宣称 ETH 是错误的，并公开 Google Drive 仓库，内含分别标注 Anthropic、OpenAI 的文件夹及一份《致理论计算机科学（TCS）社区关于 ETH》的文件。若 3SAT 存在亚指数算法（3SAT 为 NP 完全问题），影响将极其深远。
• 物理学：据 OpenAI 官方博客「Building scientific understanding with academic communities」，模型于 2026 年 9 月 9 日产出 Yang-Mills 存在性（千禧年大奖难题）证明并完成 Lean 形式化；多条帖子亦提及量子色动力学（QCD）存在性与标准模型相关结果。
• 发布流程上，据 ludwigABAP 转述的官方声明，OpenAI 此次发布咨询了高等研究院（IAS）独立的「数学与人工智能咨询小组」；Replit CEO amasad 补充称 OpenAI 向三个学科社区询问发布方式，数学界的建议是「直接发布 AI 输出，让研究者自行组织力量解释结果」。
• 据 ZeroCool86 转述，数学与 ETH 部分的 Lean 证明已公开在 GitHub；前 OpenAI 总裁 Greg Brockman、Polymarket 等均公开发布这一消息；Polymarket 上「OpenAI 年底前宣布又一道千禧年大奖难题获解」的市场概率为 54%。
• 学界正在组织独立审查，Andrew Curran、Ryan Williams 等学者已介入讨论；据 ZeroCool86 帖，ETH 原提出者也在参与核查。

尚未确认

• 各项证明在帖子材料范围内均未通过完整同行评审，有待独立审查结论。
• 帖子间存在信息分歧：多数帖子归因于 OpenAI，m7 则称消息来自 danintheory（harmonic 相关团队）的 Harmonic AI；m14 称共有四项成果而非三项。以 OpenAI 官方发布为准的版本为三项。Scott Armstrong 公开的仓库中同时出现 Anthropic 文件夹，各公司/模型在其中的具体角色亦不明。
• esrtweet 观察到圈内开始讨论「ETH 为假是否暗示 P=NP」，其本人仍倾向 P≠NP，但表示过去 4 小时内把握明显下降——这属于猜测而非结论。

为什么重要

• 若证明成立，ETH 被证伪将动摇数百篇论文赖以成立的复杂性理论基础与密码学下界证明。密码学家 Matthew Green 惊叹这一结果比预期来得早得多，原以为要到感恩节前后才会出现如此「怪异」的突破，并调侃两周前对模型能力局限颇有定见的人没人预测到这一进展。
• Yang-Mills 存在性是克雷千禧年大奖难题，Kakeya 猜想与 Stein 限制猜想是调和分析核心开放问题。AI 同时在三个领域逼近或解决顶级难题，被视为 AI 从工具转向「科学发现主体」的标志性事件，正如 Brockman 所言，或标志着 AI 开始切实帮助人类加深对宇宙的理解。

2026-10-27 ~ 2026-10-27 · 108 条相关

事件全程(共 4 集)→

• 第 1 集:数学家发公开信反对 AI 公司内定研究者解读成果(2026-10-26,2 条)
• 第 2 集:OpenAI 宣布 AI 在数学、复杂性与量子场论获三项发现(2026-10-27,108 条)
• 第 3 集:Brockman 回应 AI 数学热:P 大概率仍不等于 NP(2026-10-27,6 条)
• 第 4 集:AI 求解 ETH 难题引质疑：形式化证明与文本不匹配(2026-10-27,2 条)

• OpenAI 内部模型声称反驳 ETH，图灵奖得主将组织公开独立审查 — rrwilliams · 2026-10-27
• ETH 反驳审查团队：未签 NDA、零报酬，承诺全程公开发现 — rrwilliams · 2026-10-27
• OpenAI 模型给出 QCD 存在性证明并经 Lean 形式化验证 — danintheory · 2026-10-27
• OpenAI 数学仓库再上新：新论文称反驳指数时间假设 ETH — danintheory · 2026-10-27
• Harmonic AI 宣布三项数学与物理新发现,含 Kakeya 猜想证明 — apples_jimmy · 2026-10-27
• OpenAI 发布与学术社区共建科学理解的计划 — Chemical-Agency-3997 · 2026-10-27
• OpenAI 发布 PDF 声称反驳指数时间假说:3SAT 或可近亚指数求解 — rrwilliams · 2026-10-27
• OpenAI 宣布三项科学新成果：涵盖数学、复杂度理论与量子场论 — thesaraharminta · 2026-10-27
• 【源头】gdb 宣布 AI 辅助拿下数学、复杂性理论与量子场论三项科学发现 — gdb · 2026-10-27
• 「指数时间假说是假的」：3SAT 亚指数算法引爆理论圈 — danintheory · 2026-10-27
• 3SAT 亚指数算法震动理论计算机科学，Bubeck 称 20 年最大意外 — danintheory · 2026-10-27
• 【源头】OpenAI 宣布模型产出 Yang-Mills 存在性证明并完成 Lean 形式化 — exophades · 2026-10-27
• Harmonic 一次官宣三项发现:横跨数学、计算机科学与物理 — thegautamkamath · 2026-10-27
• OpenAI 宣称其 AI 首创数学新方法，攻克 35 年波聚焦难题 — 141_1337 · 2026-10-27
• OpenAI 发文：与学术社区合作共建科学理解能力 — dataoops · 2026-10-27
• Polymarket 称 OpenAI 模型在数学、计算机与物理领域获三项科学发现 — Polymarket · 2026-10-27
• 密码学家评 ETH 新 Lean 形式化证明结果:数值上惊人 — matthew_d_green · 2026-10-27
• OpenAI 宣称 AI 攻克三大领域数十年难题,含指数时间假说反驳 — THE_ILL_SAGE · 2026-10-27
• OpenAI 一口气宣布三项 AI 生成重大研究成果,涉及多个千禧年难题 — ChrisGPT · 2026-10-27
• OpenAI 宣称 AI 模型做出 3 项重大科学发现，Polymarket 押注年内再解千禧难题 — Polymarket · 2026-10-27
• OpenAI 内部模型宣称证伪指数时间假设 ETH，复杂度理论大佬将独立审查 — Singularitarian · 2026-10-27
• Chris Albon：OpenAI 正在 A/B/C 测试 AI 与人类科学家的协作方式 — chrisalbon · 2026-10-27
• AI 宣布数学/复杂度/量子场论三项新发现 — MoonL88537 · 2026-10-27
• OpenAI 宣称证伪指数时间假设，推翻多项既有理论结果 — Environmental_Mix22 · 2026-10-27
• 传 AI 系统推翻指数时间假说，证明结果已经 Lean 验证 — felpix_ · 2026-10-27
• 密码学家借 Claude 谈 ETH 新结果:或揭开「亚指数世界」 — matthew_d_green · 2026-10-27
• 「指数时间假设被证伪」?密码学家感叹10月来得比预期早 — matthew_d_green · 2026-10-27
• OpenAI 复杂度结果意味着什么：部分 NP 问题或可低于指数时间求解 — jfischoff · 2026-10-27
• 「指数时间假设不成立」？理论计算机圈惊传重磅断言 — davidad · 2026-10-27
• OpenAI 系统证伪指数时间假设并经 Lean 验证，专家称或将催生更快算法 — FlorianGallwitz · 2026-10-27
• OpenAI 官宣三大数学突破,网友 2024 年「P vs NP 赌约」被翻出 — inductionheads · 2026-10-27
• Greg Brockman 宣布 AI 助攻三项重大科学发现 — brhydon · 2026-10-27
• 同篇「OpenAI」论文还宣称 Kakeya 猜想全部维度为真 — RexDouglass · 2026-10-27
• 署名 OpenAI 的 64 页论文声称推翻指数时间假说 ETH — wavefnx · 2026-10-27
• AI 产出指数时间假设的反例，P=NP 赔率一夜收紧 — esrtweet · 2026-10-27
• ETH 原提出者将组织对 OpenAI 证伪宣称的开放独立审查 — danintheory · 2026-10-27
• 离谱声明:有人声称用 Lean 形式化证明「指数时间假说不成立」 — akbirthko · 2026-10-27
• OpenAI 宣布发布量子物理、数学、计算机三大学科新发现 — pickover · 2026-10-27
• OpenAI 宣称证伪指数时间假说，3SAT 可亚指数求解 — fortnow · 2026-10-27
• OpenAI 宣称证伪指数时间假设，审稿人声明不代表背书 — fortnow · 2026-10-27
• OpenAI 宣称模型推翻指数时间假设 ETH，已用 Lean 验证 — AIFlow_ML · 2026-10-27
• 宣称指数时间假设被推翻：3SAT 可在亚指数时间求解 — cephaloform · 2026-10-27

另有 8 条近重复转述:morey56 · rohanpaul_ai · matthew_d_green · Dr_Singularity · Dr_Singularity · Dr_Singularity · ErnestRyu · RileyRalmuto