**Claude 与 OpenAI 同日独立证伪指数时间假设，引发 AI 数学突破争议**

_Claude Refuted ETH Too: Anthropic's 3-SAT Paper Explained_

> Anthropic 发布论文称，其内部 Claude 模型于 2026 年 10 月 16 日独立发现并证伪了计算复杂性中的“指数时间假设”(ETH)，与 OpenAI 在同一天宣布类似成果。该成果由 Claude 自主生成，经 Lean 4 形式化验证，理论上将 3-SAT 问题的求解时间复杂度从指数级提升至亚指数级。尽管这一突破在理论计算机科学上具有里程碑意义，但专家指出其实际加速效果仅在变量数量极大时才显现，对现有 SAT 求解器影响有限。

**来源信息**
- **来源**：Hacker News：AI 热帖
- **分类**：ai-models
- **发布时间**：2026-10-29 00:54（北京时间）
- **原文**：[打开原文](https://cellcog.ai/blog/claude-refutes-eth-3-sat)