Claude Mythos 据报道以“可爱简单证明”解决了 OpenAI 的里程碑式 Erdős 问题
在 OpenAI 推翻 Erdős 单位距离猜想后不久，Anthropic 展示了 Claude Mythos 也能解决这一问题——且是在“周末内”。工程师 Sholto Douglas 称 Mythos 用一个“可爱、简单的证明”破解了 1946 年的猜想，这标志着 AI 驱动数学发现存在“严重过剩”现象。
文章情报
要点
- OpenAI 首次推翻 Erdős 单位距离猜想后，Anthropic 的 Claude Mythos 也成功解决。
- 工程师表示 Mythos 在周末内用“可爱、简单”的证明完成，暗示 AI 数学能力超出预期。
- 该进展被视为 AI 在数学发现领域“严重过剩”的迹象。
为什么重要
这条新闻值得关注，因为OpenAI 首次推翻 Erdős 单位距离猜想后，Anthropic 的 Claude Mythos 也成功解决。
技术影响
可能影响模型选型、推理成本、产品能力和评测基准。
在 OpenAI 推翻著名的 Erdős 单位距离猜想后不久，Anthropic 公司宣布其 AI 模型 Claude Mythos 也成功解决了这一难题——且耗时仅一个周末。工程师 Sholto Douglas 指出，Mythos 对 1946 年提出的猜想给出了一个“可爱、简单的证明”，这被认为是 AI 驱动数学发现中“严重过剩”现象的标志。
Erdős 单位距离猜想由数学家 Paul Erdős 于 1946 年提出，涉及平面中单位距离集合的测度问题。此前，OpenAI 的模型首次对该猜想提出了反例。而 Anthropic 的新成果则进一步证明了 AI 在数学推理领域的潜力。Douglas 形容这一证明“简洁而优雅”，并强调其意味着当前 AI 系统的数学能力可能远超预期。
这一发现引发了学术界对 AI 数学推理能力的重新评估。一些专家认为，AI 能够自主发现如此精妙的证明，或许预示着未来数学研究方式的根本性变革。然而，也有观点提醒，不应过早夸大 AI 的成就，仍需严格的验证和复现。
Anthropic 尚未公布完整的证明细节，但计划在未来几周内发布相关论文。与此同时，OpenAI 也在积极推进其 AI 数学研究项目。这场关于 AI 与数学未来的竞赛，正在加速上演。