据报道，Anthropic的Claude Mythos用'可爱、简单的证明'解决了困扰数十年的Erdős问题。

该AI模型在周末找到了一个解决方案，展示了AI在数学研究中的巨大潜力。

AI 生成：摘要由 AI 根据所链接的来源撰写。 我们如何使用 AI