Anthropic 放出了一篇署名只有 Claude 的论文，声称给出 3-SAT 的次指数时间算法，如果成立，就推翻了指数时间假设（ETH）。 核心算法由… · @Zen_with_AI · TwKit

@Zen_with_AI

Anthropic 放出了一篇署名只有 Claude 的论文，声称给出 3-SAT 的次指数时间算法，如果成立，就推翻了指数时间假设（ETH）。 核心算法由内部一个 Claude 研究模型在 10 月 16 日找到，用了 14M 输出 token，没有人类输入，研究员只参与了改进表述。同一周，OpenAI 也宣布了类似的结果，说的也是 10 月 16 日。 猜想是：这是一个更新的内部模型（可能是 Mythos 5.5）在自主选题、自主解题，成果会随新模型和 IPO 一起集中公布。这些目前只是猜想，没有公开证据。 所以现在最前沿大模型已经完全不需要人类的输入，可以单独解决疑难科研问题了？ https://github.com/anthropics/formal-math/blob/16a5ce41304fcdaea4e0be7c132e1c361dc26da5/eth/paper.pdf

曝光 254 · 评论 0 · 点赞 1 · 书签 0