反转：ETH 仓库论文显示 Anthropic 内部 Claude 模型也独立证伪了 ETH

inductionheads · x · 2026-10-27

bubblingcreek 发现，在 ETH 相关仓库中有一篇论文显示 Anthropic 的内部模型似乎独立地证伪了指数时间假设（ETH）。论文标题为《A 2^o(n) Time Algorithm for 3-SAT》，作者署名「CLAUDE / ANTHROPIC」：摘要称通过给出一个 n 变量 3-SAT 的确定性 2^o(n) 时间算法反驳 ETH，实际解决了更难的 #3-SAT（统计可满足赋值数量），结果由内部研究 Claude 模型发现并已在 Lean 4 中形式化。此前 rrwilliams 已发公开信，邀请社区就如何组织独立审查以及 AI 生成结果引发的更广泛问题贡献意见。OpenAI 与 Anthropic 两家内部模型先后得出同一定理，是这场风波最大的看点。