OmniTools 5月27日消息，Anthropic 工程师 Sholto Douglas 透露，Claude Mythos 模型在近期成功解决了 OpenAI 提出的 Erdős 单位距离猜想问题，并给出了一个“巧妙且简洁的证明”。
该猜想属于离散几何领域的经典难题，长期被视为衡量 AI 数学推理与发现能力的重要基准。相关进展被描述为人工智能在数学探索方向存在“严重超前”迹象。不过，该成果目前仅为工程师个人披露，尚未发布正式论文或经过同行评审验证。
OmniTools 5月27日消息，Anthropic 工程师 Sholto Douglas 透露，Claude Mythos 模型在近期成功解决了 OpenAI 提出的 Erdős 单位距离猜想问题，并给出了一个“巧妙且简洁的证明”。
该猜想属于离散几何领域的经典难题，长期被视为衡量 AI 数学推理与发现能力的重要基准。相关进展被描述为人工智能在数学探索方向存在“严重超前”迹象。不过，该成果目前仅为工程师个人披露，尚未发布正式论文或经过同行评审验证。