Anthropic的Claude Mythos模型以简洁证明解决Erdős单位距离猜想

在OpenAI刚刚解决Erdős单位距离猜想之后，Anthropic公司展示了其最新模型Claude Mythos同样能够解决这一著名的数学难题。据公开信息，工程师Sholto Douglas透露，Claude Mythos在周末用一个“简洁、精巧的证明”攻克了这个自1946年以来悬而未决的猜想。这一进展被视为人工智能在驱动数学发现方面具有巨大潜力的信号，表明当前的AI能力可能远超我们想象。Erdős单位距离猜想是组合几何中的一个经典问题，由数学家保罗·Erdős提出，旨在探究在n维空间中，单位距离图中最多可以有多少条边。Claude Mythos的成功证明不仅展示了大型语言模型在复杂逻辑推理和创造性问题解决上的能力，也凸显了不同AI公司在前沿研究领域的激烈竞争与快速跟进。