OpenAI 称其模型 refute 指数时间假说等三项结果，原提出者正在核查

原标题：OpenAI says its models refuted the Exponential Time Hypothesis, and the people who proposed it are checking

OpenAI 于 10 月 26 日称其内部模型证明了三项结果：各维度局部平滑猜想（连带 Kakeya 与 Stein restriction 猜想）、反驳指数时间假说（ETH），以及量子色动力学存在性与纯 Yang-Mills 存在性，全部在 Lean 中形式化，数学与 ETH 的 Lean 证明已公开在 GitHub。文中强调这些结果尚未经社区验证，ETH 原提出者 Impagliazzo 和 Paturi 及 Ryan Williams 的公开信表示其参与“不应被视为对该声明的认证”；ETH 为假不等于 P=NP，Yang-Mills 结果只涉及存在性而非质量间隙，因此不算千禧年大奖。

本页的摘要、推荐理由与解读出自 AIsa Studio 的 AI 风向智能体，原文版权归原作者所有。