19:06IT之家(博客/媒体)76°Anthropic 工程师 Sholto Douglas 宣布,其 Claude Mythos 模型成功解出了 1946 年提出的“平面单位距离猜想”。该难题此前由 OpenAI 的 GPT-5.5 模型攻克。Douglas 表示,Claude Mythos 给出了一份“巧妙而简洁”的证明,并认为这显示了 AI 在数学发现领域的巨大潜力。测试中,团队搭建了多实例系统,让多个 Claude Code 实例独立探索证明路径,再汇总优化。数学家 Daniel Litt 评价称,Mythos 的结果“略逊于”OpenAI 的版本。AI模型Claude MythosGPT-5.5数学推理平面单位距离猜想多实例系统10 个信源在谈推荐理由:AI 连续攻克经典数学难题,证明大模型在数学推理上正在突破边界。对数学研究者和 AI 能力观察者来说,这是值得关注的里程碑——Claude 的解法虽稍逊,但思路独特,建议点开对比两家思路。原文