ETH 仓库论文称 Anthropic 内部 Claude 模型提出 2^o(n) 3-SAT 算法

ETH 相关仓库的一篇论文称，Anthropic 内部 Claude 模型独立提出了反驳 ETH 的 2^o(n) 时间算法。该论文题为《A 2^o(n) Time Algorithm for 3-SAT》，署名「CLAUDE / ANTHROPIC」，摘要称结果实际解决了更难的 #3-SAT，并已在 Lean 4 中形式化。