OpenAI 宣布 AI 连获数学、复杂性理论与物理三项重大发现

OpenAI 于 10 月 26 日宣布其 AI 模型在数学、计算机科学与物理学三个领域产出三项重大科学发现，规模罕见，横跨调和分析、复杂性理论与量子场论，其中两项与千禧年大奖难题直接相关。公司称已提供 Lean 形式化验证并组织独立学术审查，学界在震惊之余高度关注验证进展。

已确认

• 数学：OpenAI 发布前印本（官方 repo openai/math，已有 16k stars），称 AI 发明新的数学技术「局部平滑用于欧氏波动方程」，证明了 1991 年提出的局部光滑猜想（全维度），并借此同时解决所有维度下的 Kakeya 猜想与 Stein 限制猜想，还解决了 35 年未解的波聚焦问题。此前该方向仅有 2019 年 Guth-Wang-Zhan 的二维结果与 2025 年的三维进展。
• 计算机科学：模型声称证伪指数时间假设（ETH），该假设断言 3-SAT 等问题不存在亚指数时间算法，是复杂性理论与大量下界证明的基石。据 m17 转述，理论计算机学者 Ryan Williams 宣布 OpenAI 内部模型产出了对 ETH 的反驳；Andrew Curran 亦在 X 上贴出论文链接宣称 ETH 不成立。若 3SAT 存在亚指数算法，由于 3SAT 是 NP 完全问题，影响将极其深远。
• 物理学：据 m4 转述 OpenAI 官方博客「Building scientific understanding with academic communities」，模型于 2026 年 9 月 9 日产出 Yang-Mills 存在性（千禧年大奖难题）证明并完成 Lean 形式化；m7、m16 亦提及量子色动力学（QCD）存在性与标准模型相关结果。
• 前OpenAI 总裁 Greg Brockman、Polymarket 等均公开发布了这一消息；Polymarket 上「OpenAI 年底前宣布又一道千禧年大奖难题获解」的市场概率为 54%。
• 学界正在组织独立审查；多条帖子显示 Andrew Curran、Ryan Williams 等学者已介入讨论。

尚未确认

• 各项证明尚未（在帖子材料范围内）通过完整同行评审，均为「宣称」性质，有待独立审查结论。
• 帖子间存在信息分歧：多数帖子归因于 OpenAI，m7 则称消息来自 danintheory（harmonic 相关团队）的 Harmonic AI；m13 称共有四项成果而非三项。以 OpenAI 官方发布为准的版本为三项。
• m8 的作者 esrtweet 观察到圈内开始讨论「ETH 为假是否暗示 P=NP」，其本人仍倾向 P≠NP，但表示过去 4 小时内把握明显下降——这属于猜测而非结论。

为什么重要

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

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

• OpenAI 内部模型声称反驳 ETH，图灵奖得主将组织公开独立审查 — rrwilliams · 2026-10-27
• ETH 反驳审查团队：未签 NDA、零报酬，承诺全程公开发现 — rrwilliams · 2026-10-27
• OpenAI 模型给出 QCD 存在性证明并经 Lean 形式化验证 — danintheory · 2026-10-27
• Harmonic AI 宣布三项数学与物理新发现,含 Kakeya 猜想证明 — apples_jimmy · 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
• Polymarket 称 OpenAI 模型在数学、计算机与物理领域获三项科学发现 — Polymarket · 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
• AI 宣布数学/复杂度/量子场论三项新发现 — MoonL88537 · 2026-10-27
• OpenAI 宣称证伪指数时间假设，推翻多项既有理论结果 — Environmental_Mix22 · 2026-10-27
• 传 AI 系统推翻指数时间假说，证明结果已经 Lean 验证 — felpix_ · 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
• Ryan Williams 界定新 3SAT 算法边界：亚指数但非多项式 — AIFlow_ML · 2026-10-27
• Anthropic 联创宣布 AI 助力三项科学发现，含指数时间假设被证伪 — inductionheads · 2026-10-27
• OpenAI 声称 3SAT 亚指数算法，Ryan Williams 等拓扑学家牵头独立评审 — AIFlow_ML · 2026-10-27
• ETH 提出者领衔审稿：指数缩减因子在十亿变量下仍约 0.67 — AIFlow_ML · 2026-10-27
• ETH 若被推翻，哪些指数级下界能在 SETH 上重建？ — AIFlow_ML · 2026-10-27
• 指数时间假设被称证伪，AI 圈研究者直呼反胃 — max_paperclips · 2026-10-27

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