Claude 研究模型称独立反驳指数时间假说

Lisan al Gaib 转发 @__alpoge__ 的说法称，Anthropic 的内部 Claude 研究模型在 10 月 16 日以 14M output tokens、无人类输入找到核心算法，研究人员随后与 Claude 合作改进论文呈现。作者评论称数学和理论物理都已被攻克，并指出 14M output tokens 对单个模型而言约相当于 3-4 天。

Anthropic 在 GitHub 上发布一篇论文，称推翻了“指数时间假设”（ETH），署名作者只有 Claude。论文称核心算法由内部研究版 Claude 于 10 月 16 日找到，消耗 1400 万个输出 Token，没有人类输入，Anthropic 研究人员与 Claude 合作改进了论文呈现。OpenAI 同日也宣布其模型在 10 月 16 日找到了同一证明。

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 仓库。