Claude Mythos 破解 Erdős 单位距离猜想，Anthropic 称证明“简洁优雅”

一句话看懂

Anthropic 的 Claude Mythos 模型在周末独立破解了 1946 年的 Erdős 单位距离猜想，证明被工程师称为“简洁优雅”。

详细发生了什么

继 OpenAI 的模型（可能是 GPT-5 或 o3）于上周推翻 Erdős 单位距离猜想后，Anthropic 的 Claude Mythos 模型也在短时间内独立解决了这一经典数学难题。Anthropic 工程师 Sholto Douglas 在社交媒体上透露，Mythos 仅用“一个周末”就给出了一个“简洁优雅的证明”（cute, simple proof）。

Erdős 单位距离猜想（1946 年）是组合几何中的著名未解问题，涉及平面上单位距离线段的极值数量。此前，OpenAI 的模型首次用 AI 方法给出反例，而 Mythos 的证明则从另一角度确认了该猜想不成立。Douglas 称这一现象为“严重悬垂”（serious overhang），暗示 AI 在数学发现领域的能力已远超预期。

目前，Anthropic 尚未公开 Mythos 的完整证明，但表示将尽快发布以供学术界验证。

中文圈视角

对中文数学研究者和 AI 用户意味着什么？

数学研究范式变革：AI 连续解决经典猜想，表明大模型已具备“发现新知识”的能力，而不仅仅是辅助计算。中文数学社区（如中科院、北大、清华）可能需要重新评估 AI 在数学证明中的角色，尤其是对 Erdős 这类离散问题的适用性。
国产模型差距与机会：目前国内大模型（如 DeepSeek-Math、Qwen2.5-Math、Kimi）在数学推理上已有不错表现，但尚未有独立解决公开难题的案例。此事件可能刺激国内团队加速数学专用模型的研发，尤其是在符号推理和形式化证明方面。
使用门槛：Claude Mythos 目前通过 Anthropic API 提供，国内用户需解决网络访问问题。不过，若证明公开，其思路可被复现并用于训练国产模型，降低依赖。
监管与合规：AI 生成数学证明的版权和学术诚信问题尚未明确。国内科研机构若使用此类结果，需注意引用规范和伦理审查。

几条值得记住的细节

模型：Claude Mythos（Anthropic 最新旗舰模型，非公开版本）
问题：Erdős 单位距离猜想（1946 年提出，组合几何领域）
时间：OpenAI 先于上周解决，Mythos 随后在周末独立完成
评价：工程师 Sholto Douglas 称证明“简洁优雅”，并指出“严重悬垂”
状态：证明尚未公开，Anthropic 承诺将发布

一句话总结

AI 连续攻克经典数学难题，中文研究者应关注其方法论，并思考如何将类似能力融入本土模型。