Anthropic 称 Claude 自主发现 3-SAT 亚指数时间算法，反驳指数时间假设（ETH）

Anthropic 公开论文《A 2^o(n) Time Algorithm for 3-SAT》及配套代码，称一个内部 Claude 研究模型在无人类输入的情况下用 1400 万输出 token，于 10 月 16 日自主找到 3-SAT 的确定性亚指数时间算法，反驳了计算复杂性领域的指数时间假设（ETH）。