Claude Mythos 用“可爱简单证明”解决 OpenAI 的 Erdős 问题

继 OpenAI 推翻 Erdős 单位距离猜想后，Anthropic 的 Claude Mythos 模型在周末独立解决了同一问题。工程师 Sholto Douglas 称 Mythos 给出了一个“可爱、简单的证明”，这被视为 AI 驱动数学发现中“严重悬而未决”的迹象。该问题源于 1946 年的 Erdős 猜想，此前被认为极具挑战性。这一事件凸显了 AI 在数学推理领域的快速进步，以及不同模型间能力的重叠。