Anthropic 在 GitHub 发布署名 Claude 的论文，称推翻指数时间假设

10 月 27 日周二 04:35 UTC+8更新于 10 月 31 日周六 20:54 UTC+8

Anthropic 在 GitHub 发布署名 Claude 的论文，给出在 2^o(n) 时间内求解 3-SAT 的确定性算法，推翻指数时间假设（ETH），并附 Lean 4 形式化证明。论文称核心算法由一个内部研究版 Claude 找到，用了 1400 万个输出 token，没有人类输入。同一天，OpenAI 也在 GitHub 发布论文称 ETH 不成立。

为什么重要

Anthropic 在 GitHub 发布仅署名 Claude 的论文，称给出 3-SAT 的 2^o(n) 时间算法，即推翻指数时间假设；该结论尚待同行验证。

来源3

GitHub · anthropics/formal-mathGitHub10 月 27 日周二 11:07论文给出一种求解 3-SAT 的 2^o(n) 时间算法译自英文 · 查看原文 · 10 月 27 日周二 11:07
GitHub · openai/mathGitHub10 月 27 日周二 04:35论文称指数时间假设（Exponential Time Hypothesis）不成立译自英文 · 查看原文 · 10 月 27 日周二 04:35
@doteyX10 月 27 日周二 13:30OpenAI 宣布 AI 推翻“指数时间假设”（ETH）的同一天，Anthropic 在 GitHub 上放出一篇论文，得出同样的结论，署名作者只有一个：Claude。论文说，核心算法是 10 月 16 日由一个内部研究版 Claude 找到的，用了 1400 万个输出 Token，没有人类输入。 OpenAI 说自己的模型也是 10 月 16 https://twitter.com/__alpoge__/status/2114930095009968506查看原文 · 10 月 27 日周二 13:30

由 dalao.ai 撰写：标题、摘要和“为什么重要”是我们自己的文字；事实以原始报道为准，著作权归原发布者所有。