OpenAI 宣称 AI 连获三项科学成果，学界启动独立审查

10 月 26-27 日，OpenAI 发布与学术社区合作开展科学研究的进展（官方博客「Building scientific understanding with academic communities」），宣称其模型在三个领域产出重大成果，Greg Brockman（@gdb）称这标志着 AI 开始切实帮助人类加深对宇宙的理解。成果包括：数学上证明 1991 年提出的局部光滑（local smoothing）猜想于所有维度成立，据称同时解决 Kakeya 猜想与 Stein 限制猜想（此前仅有 2019 年二维、2025 年三维进展）；据 @1411337 转述官方 repo（openai/math，已有 16k stars）中的前印本，该技术为「局部平滑用于欧氏波动方程」，解决了 35 年未解的波聚焦问题。计算机科学上反驳指数时间假设（ETH）；物理学上给出四维含规范场与费米子的相互作用量子场论的数学严格存在性证明，涵盖 QCD 及标准模型的一个统一完备化，并作为子问题包含纯 Yang-Mills 存在性——后者与千禧年大奖难题相关；据 @exophades 转述，模型于 2026 年 9 月 9 日为 Yang-Mills 存在性给出 Lean 形式化。

已确认

• OpenAI 官方宣布三项（部分帖子表述为四项子成果）发现，覆盖调和分析、复杂性理论与量子场论（@gdb、@exophades、@rohanpaulai、@danintheory 等）。
• ETH 反驳的核心声称是：n 变量 3SAT 可在约 exp(n/(log n)^(1/2+o(1))) 时间内求解（@rrwilliams 转述 OpenAI PDF）。
• OpenAI 称多项结果已提供 Lean 形式化验证（@exophades、@morey56、@danintheory）。
• 理论计算机科学家 Ryan Williams 宣布与 Russell Impagliazzo、Mohan Paturi 受邀组织公开、独立审查，团队与 OpenAI 无 NDA、不接受报酬，承诺全程公开发现，并已要求 OpenAI 公开相关材料。
• OpenAI 研究者 danintheory（harmonic 相关团队，@applesjimmy 转述）为相关成果的发布者之一。

尚未确认

• 各项声称是否成立：包括 ETH 是否真的被证伪、局部光滑/Kakeya 证明与 QCD/Yang-Mills 存在性证明是否完备，均待独立审查团队检验，Lean 验证说法也需与公开材料核对。

为什么重要

• ETH 是复杂性理论核心猜想，数百篇论文以其为真前提；@esrtweet 观察到复杂度圈子开始讨论结果是否暗示 P=NP，其本人仍倾向 P≠NP 但把握下降；若 ETH 被证伪，或将催生更快的 SAT 类算法并动摇大量下界结果。
• Kakeya 猜想与 Stein 限制猜想是调和分析数十年核心问题，Yang-Mills 存在性是千禧年大奖难题相关方向；若证实，将是 AI 辅助数学研究的标志性成果。
• 由 ETH 原提出者（Impagliazzo、Paturi）亲自参与、零 NDA、零报酬、全程公开的审查安排，为「AI 重大科学主张如何接受人类同行检验」提供了范式。Polymarket 上「OpenAI 年底前再宣布一道千禧难题获解」的概率达 54%，反映市场高度关注后续进展。

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

事件全程(共 3 集)→

• 第 1 集:OpenAI 宣称 AI 连获三项科学成果，学界启动独立审查(2026-10-27,46 条)
• 第 2 集:OpenAI 模型声称证伪指数时间假设，学者启动独立审查(2026-10-27,2 条)
• 第 3 集:3SAT 亚指数算法传闻震动学界，P=NP 讨论升温(2026-10-27,3 条)

• 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
• OpenAI 宣称证伪指数时间假说，3SAT 可亚指数求解 — fortnow · 2026-10-27
• OpenAI 宣称模型推翻指数时间假设 ETH，已用 Lean 验证 — AIFlow_ML · 2026-10-27
• 宣称指数时间假设被推翻：3SAT 可在亚指数时间求解 — cephaloform · 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
• OpenAI 宣布 AI 系统连下三城：证伪 ETH、破解 Kakeya 猜想等 — burny_tech · 2026-10-27
• OpenAI 宣布三项科学突破,MIT 教授 Williams 受邀验证复杂度成果 — tak3sh8 · 2026-10-27

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