Hacker News · AI· one-punch·· 4 小时前精选AI 评分82
Anthropic 论文详解：Claude 提出 3-SAT 算法推翻指数时间假设 ETH
Claude Refuted ETH Too: Anthropic's 3-SAT Paper Explained
AI 导读
Anthropic 发布由内部 Claude 模型自主推导的 3-SAT 研究论文与 Lean 4 形式化证明代码，提出时间复杂度为 2^o(n) 的确定性算法，在理论上推翻了指数时间假设（ETH）与强指数时间假设（SETH）。
推荐理由
文章对比了解析 Anthropic 与 OpenAI 机器证明否定指数时间假设的细节，指出该理论渐近界在实际工业求解中暂无实用意义。
来源：Hacker News · AI · cellcog.ai