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

imjustnewatai · x · 2026-10-27

爆料称 Anthropic 内部模型并未像外界想象的那样落后。作者分享了一篇署名 Claude / Anthropic 的论文截图,声称给出 3-SAT 的 2^{o(n)} 确定性算法,从而推翻指数时间假设(ETH),并扩展到 #k-SAT 求解;摘要称该结果由内部研究用 Claude 模型发现,并已在 Lean 4 中形式化。论文同时强调此结果不直接解决 P vs NP 问题。真实性尚未经第三方证实,可视为未证实的重磅爆料。

所属事件:传 Anthropic 内部模型证伪指数时间假设 ETH(2 条相关)→

原文链接 →

「模型」频道最新

更多「模型」频道 AI 资讯 →