正文 · AI 翻译
Anthropic 的员工表示，Claude Mythos 也能解决 OpenAI 的“AI 数学里程碑”。OpenAI 近期否证了 Erdős 单位距离猜想，这是组合几何学中自 1946 年以来悬而未决的一个开放问题。Anthropic 工程师 Sholto Douglas 在 X 上发文称，Mythos 用一个“简洁、优雅的证明”解决了该问题，这标志着 AI 驱动的数学发现中存在“严重的积压”。
该团队使用了一套在 AI 解决 Erdős 问题 #1196 后构建的测试系统：独立的 Claude Code 实例在获得 Mythos 访问权限后接收问题、制定解题路径，然后其中一个实例将结果汇总并分发给其他独立工作的实例。Mythos 经常采取与 OpenAI 模型不同的路径。数学家 Daniel Litt 称其结果比 OpenAI 的“稍差一些”，但据报道 Mythos 也找到了 OpenAI 的解法。Anthropic 发布了一份由 Opus 4.7 准备的证明版本。
Google DeepMind 近期也宣布，一个 AI 辅助系统解决了九个 Erdős 问题，不过其方法依赖于形式化证明语言 Lean，从纯 LLM 的角度来看，这并不那么令人印象深刻。但话说回来，Claude Code 本身也是一个智能体框架，而非纯粹的 LLM。