AI情报May 27, 2026AI情报文章据报道,Anthropic的Claude Mythos用'可爱、简单的证明'解决了困扰数十年的Erdős问题。该AI模型在周末找到了一个解决方案,展示了AI在数学研究中的巨大潜力。Data Cube AI 编辑部2026年5月27日来源: The Decoder01来源简报据报道,Anthropic的Claude Mythos用'可爱、简单的证明'解决了困扰数十年的Erdős问题。该AI模型在周末找到了一个解决方案,展示了AI在数学研究中的巨大潜力。02相关话题科学与研究AI研究数学突破查看本期