传 Anthropic 内部 Claude 论文称推翻指数时间假设 ETH

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