Claude Mythos 据称破解欧拉单位距离猜想
The Decoder··作者 Matthias Bastian
关键信息
据称 Anthropic 的测试系统使用了隔离的 Claude Code 实例并开放 Mythos 权限：一个实例先接收题目、探索解法，再把思路总结后分发给其他独立工作的实例。报道还称，Mythos 往往走出与 OpenAI 模型不同的路线，但也据称找到了 OpenAI 的解法；Anthropic 后来发布了由 Opus 4.7 准备的证明版本。
资讯摘要
这篇报道说，Anthropic 员工称 Claude Mythos 解决了 OpenAI 近期公布的同一个欧拉单位距离问题，而这个结果被 OpenAI 视为一项里程碑式的 AI 数学成就。单位距离猜想是组合几何中的一个公开难题，自 1946 年以来一直未被解决；报道还称，OpenAI 最近已经推翻了这一猜想。Anthropic 工程师 Sholto Douglas 在 X 上写道，Mythos 找到的是一个“可爱、简单的证明”，他把这视为 AI 在数学发现方面仍有很大的提升空间。报道提到，团队使用的是一个在 AI 解出欧拉问题 #1196 之后建立的测试系统。该系统让带有 Mythos 权限的隔离 Claude Code 实例分别独立处理同一道题，其中一个实例负责总结正在形成的解法思路，并把这些思路分发给其他实例继续独立探索。
报道说，Mythos 经常走出一条与 OpenAI 模型不同的路线，但它也据称找到了 OpenAI 的解法。数学家 Daniel Litt 认为 Mythos 的结果“稍差一些”，但仍指出它似乎也复现了同样的结论。Anthropic 还发布了一个由 Opus 4.7 准备的证明版本。文章最后把这一事件放到更大的 AI 数学进展背景下，提到 Google DeepMind 近日宣布一个 AI 辅助系统使用 Lean 证明语言解决了 9 个欧拉问题；不过，部分人认为这种方式与更“纯粹”的大语言模型推理相比，代表性略弱。
资讯正文
据报道，Claude Mythos 以一个“可爱、简洁的证明”解决了 OpenAI 的埃尔德什难题
Anthropic 员工表示，Claude Mythos 也能解决 OpenAI 的“AI 数学里程碑”。OpenAI 最近推翻了埃尔德什单位距离猜想——这是组合几何中自 1946 年以来一直悬而未决的一个公开问题。Anthropic 工程师 Sholto Douglas 在 X 上写道，Mythos 用一个“可爱、简洁的证明”解决了它，这表明 AI 驱动的数学发现存在“严重的悬而未决空间”。
该团队使用的是在 AI 解决埃尔德什问题 #1196 之后建立的一套测试系统：配备 Mythos 访问权限的独立 Claude Code 实例会接收该问题，开发解题路径，然后由一个实例对这些方案进行总结，并将其分发给其他独立工作的实例。Mythos 经常走出一条与 OpenAI 模型不同的路径。数学家 Daniel Litt 称这个结果比 OpenAI 的“差一点”，但据报道 Mythos 也找到了 OpenAI 的解法。Anthropic 发布了由 Opus 4.7 制作的一个证明版本。
Google DeepMind 最近也宣布，一个由 AI 辅助的系统解决了 9 个埃尔德什问题，尽管其方法依赖形式化证明语言 Lean，从纯粹 LLM 主义者的角度看，这没那么令人印象深刻。话虽如此，Claude Code 也并不是一个纯粹的 LLM，而是一个代理式执行框架。
来源与参考
收录于 2026-05-27