Andrew Curran· @AndrewCurran_ · X·· 2 小时前同事件AI 评分85
AI 导读
Anthropic 内部一个 Claude 研究模型在 10 月 16 日以 14M output tokens、无人工输入的方式独立反驳了指数时间假说（ETH）。论文题为《A 2^{o(n)} TIME ALGORITHM FOR 3-SAT》，作者署名为 Claude 与 Anthropic，摘要称给出 3-SAT 的确定性 2^{o(n)} 时间算法，并解决更难的 #3-SAT 计数问题，结果已在 Lean 4 中形式化。Anthropic 研究人员与 Claude 合作改进了论文呈现，相关代码见 GitHub 仓库。
同一件事，精选收录的是《Anthropic 在 GitHub 发布署名 Claude 的论文，称其推翻指数时间假设》
正文 · 原文
This is extremely confusing, but an internal Claude research model also independently refuted the Exponential Time Hypothesis on October 16, with 14M output tokens and no human input. 'Anthropic researchers worked with Claude to improve the presentation, resulting in this paper.'
“The core algorithm was found on October 16 by an internal Claude research model with 14M output tokens and no human input. Anthropic researchers worked with Claude to improve the presentation, resulting in this paper.” https://github.com/anthropics/formal-math/tree/16a5ce41304fcdaea4e0be7c132e1c361dc26da5/eth在 X 查看被引用的帖子
来源：Andrew Curran · x.com