Anthropic 公开 Claude 自主发现 3-SAT 亚指数算法的论文

Anthropic 公开论文《A 2o(n) Time Algorithm for 3-SAT》及配套代码，其内部 Claude 研究模型在无人类输入的情况下，于 10 月 16 日用 1400 万输出 token 自主找到求解 3-SAT 的确定性亚指数时间算法。