Anthropic 一篇论文声称，内部 Claude 模型也推翻了指数时间假设

hexagonmath.org 上的一篇预印本注明由 Anthropic 于 2026 年 10 月 27 日提交。论文声称，针对 n 个变量的 3-SAT 存在一种确定性算法，运行时间为 2^o(n)，这将推翻指数时间假设（ETH）。论文称，该算法还可以解决更难的 #3-SAT 问题，即统计满足赋值的数量，并且这一结果已在 Lean 4 中形式化。

根据论文的来源说明，一个内部 Claude 研究模型于 10 月 16 日发现了核心算法，使用了 1,400 万个输出 token，且没有人工输入；随后 Anthropic 研究人员与 Claude 合作改进了论文的表述。论文还称，OpenAI 的一个内部模型独立且同期声称证明了类似结果，并引用了 OpenAI 于 10 月 26 日发布的预印本。以上均为作者的说法，尚未得到独立验证。

这篇论文被分享到 Hacker News（截至 10 月 27 日有 22 个积分、6 条评论）。一位评论者指出，论文声称的发现日期与 OpenAI 的相同。