Claude 内部研究模型称自主发现反驳指数时间假设的 3-SAT 算法

scaling01 · x · 2026-10-27

据 Anthropic 相关论文披露，其核心算法由一个内部 Claude 研究模型于 10 月 16 日独立发现，输出达 1400 万 token、全程无人工介入；Anthropic 研究者随后与 Claude 合作改进了论文表述。

论文题为《A 2^o(n) Time Algorithm for 3-SAT》，声称通过给出 3-SAT 的确定性 2^o(n) 时间算法反驳指数时间假设（ETH），并进一步解决了更难的 #3-SAT 计数问题，结果已在 Lean 4 中形式化。该说法极为惊人（若成立将颠覆计算复杂性理论），文中也直言 "extremely confusing"，真实性有待学界检验。