Anthropic 工程师称 Claude Mythos 用“巧妙简洁的证明”解开了 OpenAI 此前攻克的 Erdős 数学猜想

据报道Claude Mythos以"巧妙简洁的证明"解决了OpenAI里程碑式的Erdős问题

Anthropic 工程师 Sholto Douglas 在 X 上说，Claude Mythos 用一个“巧妙简洁的证明”解决了 Erdős 单位距离猜想，而 OpenAI 前不久刚把这个问题当作 AI 数学推理的里程碑。团队的做法是把问题丢给多个独立的 Claude Code 实例，让它们各自找解题路径，再汇总分发，Mythos 经常走出和 Ope...

推荐理由：HKR 三项都成立：标题自带反差，信息点具体，又牵动前沿推理模型的竞争格局。但正文没披露证明内容、验证方式、Mythos 是否已发布，所以只能放 featured，不能上 P1——我会先打个折，等看到证明再说。