OpenAI 称其模型给出局部光滑猜想等数学证明并驳斥 ETH

OpenAI 宣布 AI 产出数学、CS、物理三项成果，含证伪 ETH 与外部审查

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 的自称，尚处于外部验证阶段，证明内容与正确性未获独立确认。