OpenAI 宣称推翻指数时间假设：同批解决 Kakeya 猜想与 QCD 存在性
10 月 26 日，OpenAI 在官方研究页公布三项由内部模型得出的新结果：调和分析中 Sogge 于 1991 年提出的局部光滑猜想在任意维获证，由此同时解决 Kakeya 猜想与 Stein 限制猜想；复杂度理论中「指数时间假设（ETH）为假」；物理中量子色动力学（QCD）的存在性与标准模型的完备化。官方写明数学结果于 10 月 18 日得到，次日完成 Lean 形式化，10 月 19 日起接触外部专家。
发布流程这次换成了「学术托管」：外部专家给出三条不同策略——数学直接公开 AI 输出、计算机科学组建外部协作组并把自然语言证明与 Lean 形式化即时公开、物理则推迟到协作组同意再放。ETH 那条由 Russell Impagliazzo、Ramamohan Paturi（ETH 的原始提出者）与 Ryan Williams 领组验证；OpenAI 承诺公开全部原始数据、出资办会讨论影响，并不为发现寻求学术署名。
ETH 之所以重要，是因为它被数百篇论文当作推导条件性下界的前提，若为假，这批结论的假设基础需要重估——目前有的只是 AI 输出与 Lean 形式化，同行评审尚未发生。这也是对 10 月 6 日那次发布的回应：那批手稿一周后曾有 3 篇因符号错误被撤回。
原文链接：OpenAI 官方页面
核验记录
官方页直读 403，走 web.archive.org/web/2026id_/ 得 373,709 字节快照；页内可见日期 October 26, 2026 共 3 处（该页无 JSON-LD datePublished、无 article:published_time）。第二时间戳：官方 GitHub 仓 openai/math 最近提交 2026-10-26T20:35:02Z（Update math/cs papers, formalizations, and verification data），推送 21:18:10Z，与页面同日；ETH 预印本目录名为 ...-October-25-2026。正文 37 段逐段读过：三项结果名称、三条发布策略、四位原则、Impagliazzo/Paturi/Williams 领组均取自原文；「10 月 18 日得到、次日 Lean 形式化」为原文自述。图片裸请求与带站内 Referer 双 200，PNG 1600x900 / 1,344,233 字节。