专题 · FULL STORY

OpenAI 宣称 AI 摘得三大科学发现

OpenAI 于 10 月 26 日宣布其 AI 在数学、计算机科学与物理学领域产出三项重大发现，横跨调和分析、复杂性理论与量子场论，规模罕见。其中「指数时间假设被推翻」的消息在计算机科学社区引发强烈震动，工程师纷纷感叹其颠覆性。

2026-10-27 ~ 2026-10-27 · 2 集 · 69 条

第 1 集 · OpenAI 宣称 AI 连获三项重大科学发现，涉及千禧年难题(2026-10-27,67 条)

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）存在性与标准模型相关结果。
  • 据帖子 ZeroCool86 转述，数学与 ETH 部分的 Lean 证明已公开在 GitHub；前 OpenAI 总裁 Greg Brockman、Polymarket 等均公开发布这一消息；Polymarket 上「OpenAI 年底前宣布又一道千禧年大奖难题获解」的市场概率为 54%。
  • 学界正在组织独立审查，Andrew Curran、Ryan Williams 等学者已介入讨论；据 ZeroCool86 帖，ETH 原提出者也在参与核查。

尚未确认

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

为什么重要

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

还有 47 条相关讨论 →

第 2 集 · 「指数时间假设被推翻」消息在圈内引发震动(2026-10-27,2 条)

「指数时间假设（ETH）不成立」的宣告开始在计算机科学社区扩散。工程师 Eric Zhang 发推称看到「ETH 为假」的消息深感震撼，感叹有些第一堂 CS 课就学的知识让人习以为常，SAT 复杂度相关常识或遭颠覆。MIT CSAIL 的相关问答帖已被刷屏，mcarbin 转发时直接断言「ETH 已被证明为假」。