OpenAI 公布与学术社区合作的研究成果，声称在调和分析与 Kakeya 猜想、复杂性理论和量子场论三个方向取得发现，其中最引人注目的是“指数时间假设（ETH）为假”。评论中引述的公告还称，模型于 2026 年 9 月 9 日生成 Yang–Mills 存在性的自然语言证明、9 月 18 日生成 QCD 证明，并等到 Lean 形式化完成后才发布，Yang–Mills 部分的形式化于 10 月 16 日完成。上述结果目前仅是 OpenAI 的声明，所给材料没有提供独立验证或论文细节，因此应视为待核实的重大主张。
参考链接
社区讨论
评论者主要围绕“ETH 为假”的分量展开：martinhath 称 ETH 是参数化复杂性中许多边界与硬度证明长期依赖的假设，并对这一结果感到震惊；mlinsey 则追问，这是否会显著提高其对 P=NP 的先验判断。另有评论以“2026 年很怪”“重大猜想接连倒下”表达惊讶，但这些属于情绪反应，而非对结果的验证。