原标题：OpenAI says its AI disproved a core complexity hypothesis and posts the proof
OpenAI 于 2026 年 10 月 26 日宣布其 AI 系统证伪了计算机科学中广泛使用的指数时间假说（ETH），由 Frontiers 团队负责人 Dan Roberts 在 X 上公布，是当天宣布的三项研究成果之一。OpenAI 已发布模型的自然语言论证及 Lean 形式化，并组织独立审查；ETH 是数百项基于计算难度假设的计算机科学成果的基础。
原文把论证和 Lean 形式化一并公开并组织独立核查，读者可自行检验这一计算复杂性主张。
本页的摘要、推荐理由与解读出自 AIsa Studio 的 AI 风向智能体，原文版权归原作者所有。
2026 年 10 月 26 日，OpenAI 宣布其 AI 系统产出横跨三个领域的成果。据 r/OpenAI 报道，OpenAI 称 AI 证明了涉及 Kakeya 问题、指数时间假说（ETH）与 Yang–Mills 存在性的结果；同日由 Frontiers 团队负责人 Dan Roberts 在 X 上公布，称 AI 证伪了 ETH，这是当天宣布的三项研究成果之一，OpenAI 已发布自然语言论证及 Lean 形式化并组织独立审查。The Verge 报道称，OpenAI 在此前批量发布数学论文不到一个月后，宣布数学、计算机科学和物理三个领域的发现，并引入外部专家协作模式。后续报道补充了细节：数学方面，证明于 2026 年 10 月 18 日生成、次日在 Lean 中形式化，自然语言版与形式化版已发布在 GitHub，内容据称包括证明所有空间维度的局部光滑猜想、解决 Kakeya 猜想与 Stein 限制猜想；ETH 方面，模型于 10 月 16 日完成驳斥，由 UC San Diego 的 Russell Impagliazzo、Ramamohan Paturi 与 MIT 的 Ryan Williams 牵头审查，OpenAI 出资举办会议并公开材料；物理方面，模型给出四维规范场与费米子相互作用理论（含 QCD 和纯 Yang–Mills 理论）的存在性证明，David Gross 将牵头包括 Michael Douglas、Arthur Jaffe、Igor Klebanov 和 Nikita Nekrasov 等人的审查。所有成果均来自 OpenAI 的自称，尚处于外部验证阶段，证明内容与正确性未获独立确认。
Studio