Internal Claude research model also independently refuted the Exponential Time Hypothesis on October 16, with 14M output tokens and no human input.
Summary
Anthropic 的内部 Claude 研究模型在 10 月 16 日独立推翻了指数时间假设(ETH)，使用了 1400 万输出 token 且无人工输入，相关证明已发布在 GitHub 上。
Similar Articles
Anthropic's Claude Refutes the Exponential Time Hypothesis, With a Lean Proof (GitHub Repo)
Anthropic 发布 formal-math GitHub 仓库，收录机器验证的 Lean 4 形式化证明，其中 Claude 生成的证明在 Lean 中形式化了一个计数 k-CNF 满足赋值的算法，从而推翻指数时间假设（ETH），并包含 Riemann zeta 零点与 3SUM/APSP 等结果的形式化。
Understanding the Exponential Time Hypothesis, and OpenAI's claim that it is false
OpenAI 宣称发布了一篇证明指数时间假设（ETH）为假的论文，主定理已通过 Lean 验证，并由 Impagliazzo、Paturi 和 Williams 领导的独立工作组进行审查；文章通俗解释了 3-SAT、NP 完全性以及 ETH 被证伪可能带来的深远影响。
Frontier AI labs say their models refuted the Exponential Time Hypothesis. What does that mean?
OpenAI released proofs claiming to refute the Exponential Time Hypothesis, prompting Anthropic to publish its own refutation and leading computer scientists to organize community review of the AI-generated results.
The Exponential Time Hypothesis Is False [pdf]
OpenAI released a repository of 721 mathematical manuscripts generated by an unnamed internal model, including a claimed refutation of the Exponential Time Hypothesis, with about 42% of results formalized in Lean along with abridged reasoning traces.
Researchers used Claude to hack OpenAI
Researchers used Anthropic's Claude to exploit a vulnerability in OpenAI's community forum, gaining access to internal systems and an employee's ChatGPT account. Anthropic also reported that 26% of its AI development work is now led by its Claude model, raising concerns about recursive self-improvement.