Hacker News· one-punch·· 1 小时前精选AI 评分88
Claude 推翻 ETH：Anthropic 的 3-SAT 论文解读
Claude Refuted ETH Too: Anthropic's 3-SAT Paper Explained
AI 导读
Anthropic 于 2026 年 10 月 27 日发布论文，称 Claude 推翻了指数时间假设（ETH），给出在 2^o(n) 时间内求解 3-SAT 的确定性算法。
推荐理由
材料把两家的证明、Lean 4 校验方式和实际无影响的原因放在一起对照，便于判断这次理论结果的分量。
来源：Hacker News · cellcog.ai