Hacker News· bananaflag·· 59 分钟前精选AI 评分88
Anthropic 论文称 Claude 模型推翻 ETH 并完成 Lean 4 形式化
Anthropic's Disproof of the ETH
AI 导读
Anthropic 发布论文，称用一个确定性算法在 2^o(n) 时间内求解 3-SAT，从而推翻指数时间假设 ETH，该算法还能求解更难的 #3-SAT 并给出满足赋值计数。
推荐理由
Anthropic 称内部 Claude 模型独立找到推翻 ETH 的算法，并给出 Lean 4 形式化与来源说明，可供读者判断 AI 参与数学研究的边界。
来源：Hacker News · hexagonmath.org