传Anthropic内部Claude模型论文证伪ETH

爆料称一篇署名 Claude / Anthropic 的论文给出 3-SAT 的 2^{o(n)} 确定性算法，声称推翻指数时间假设（ETH）并扩展到 k-SAT 求解。摘要称该结果由内部研究用 Claude 模型发现，已在 Lean 4 中形式化，但强调不直接解决 P vs NP 问题。真实性尚未经第三方证实。

传闻 Anthropic 内部 Claude 模型的论文给出 3-SAT 的 2^{o(n)} 确定性算法，推翻计算复杂性理论中的指数时间假设（ETH）。流传的论文截图署名 Claude/Anthropic；随后网友 bubblingcreek 在 ETH 相关仓库发现另一篇题为《A 2^o(n)…》的论文，显示该内部模型似乎独立证伪了 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 中形式化。