Claude Mythos 据报道以“可爱简单证明”解决了 OpenAI 的里程碑式 Erdős 问题

在 OpenAI 推翻 Erdős 单位距离猜想后不久，Anthropic 展示了 Claude Mythos 也能解决这一问题——且是在“周末内”。工程师 Sholto Douglas 称 Mythos 用一个“可爱、简单的证明”破解了 1946 年的猜想，这标志着 AI 驱动数学发现存在“严重过剩”现象。