OpenAI 宣布 AI 取得数学、复杂性理论与量子场论三项重大发现

10 月 27 日前后，OpenAI 发布与学术社区合作开展科学研究的进展，其中最引人注目的主张是：其内部模型产出了对计算复杂性理论中指数时间假设（ETH，即 3SAT 需要指数时间）的反驳证明。据 FlorianGallwitz 转述的 OpenAI 研究声明，该结果已在 Lean 定理证明器中得到形式化验证；他还指出，若 ETH 被证伪，将重新打开「SAT 等任务究竟能变快多少」的问题，或催生更快算法。若反驳成立，多项以 ETH 为真前提的既有理论结果将被动摇。

已确认

• OpenAI 官方发布研究进展，宣称模型辅助研究证伪了 ETH，并称结果已在 Lean 中验证（@EnvironmentalMix22、@FlorianGallwitz 转述的 OpenAI 研究声明）。
• 理论计算机科学家 Ryan Williams（rrwilliams）宣布，他与 Russell Impagliazzo、Mohan Paturi 受邀组织对该反驳声明的公开、独立审查。图灵奖得主 Boaz Barak 转发了 Impagliazzo 的相关消息。
• Williams 说明审查团队与 OpenAI 之间未签署任何保密协议、不接受任何报酬，并承诺在审查全程持续向社区公开发现；团队已正式要求 OpenAI 尽快公开与该 ETH 反驳声明相关的材料。
• 菲尔兹奖得主 Tim Gowers 转发该消息，指出 ETH 属复杂度理论的重大主张，将有独立审查。

尚未确认

• ETH 是否真的被证伪：审查尚未完成，结论取决于后续公开审查结果。此前的「Lean 验证」说法最初仅来自流传截图（@felpix 转述），后得到 OpenAI 研究声明（经 @FlorianGallwitz 转述）呼应，但证明本身仍待独立审查团队检验。

为什么重要

ETH 是关于布尔公式可满足性（SAT）计算复杂度的长期核心猜想，与 P vs NP 密切相关，大量复杂性理论结果以其为真前提。若证伪成立，将是 AI 辅助数学研究的标志性成果，迫使学界重新审视一批依赖 ETH 的定理，并可能带来更快的算法；而由 ETH 原提出者亲自参与、零 NDA、零报酬、全程公开的审查安排，也为「AI 产出重大科学主张如何接受人类同行检验」提供了可参考的范式。

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

• 【源头】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
• 「指数时间假设不成立」？理论计算机圈惊传重磅断言 — 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

另有 6 条近重复转述:morey56 · rohanpaul_ai · Dr_Singularity · Dr_Singularity · Dr_Singularity · ErnestRyu