ETH 仓库论文称 Anthropic 内部 Claude 模型独立证伪了 ETH

有人在 ETH 相关仓库发现一篇署名「CLAUDE / ANTHROPIC」的论文《A 2^o(n) Time Algorithm for 3-SAT》，摘要称给出 n 变量 3-SAT 的确定性 2^o(n) 时间算法以反驳指数时间假设，并实际解决了更难的 #3-SAT，结果由 Anthropic 内部研究 Claude 模型发现且已在 Lean 4 中形式化。