继 OpenAI 利用 GPT-5.5 模型攻克 80 年数学难题后,Anthropic 的工程师 Sholto Douglas 昨日在 X 平台宣布,其 Claude Mythos 模型也解出了同一道数学难题。这道难题是保罗·埃尔德什于 1946 年提出的“平面单位距离猜想”。
Douglas 表示,Claude Mythos 给出了一份“巧妙而简洁”的证明,并认为这表明 AI 在数学发现领域仍有巨大潜力。此次测试依托一个专门搭建的多实例系统,多个 Claude Code 实例独立探索证明路径,再由一个实例汇总整理。
数学家 Daniel Litt 评价称,Mythos 的结果“略逊于”OpenAI 的版本。尽管如此,Anthropic 在数学推理能力上的快速跟进,显示出 AI 大模型在攻克高难度数学问题方面的竞争正在加剧。
文中提及的 AI 工具
评论
正在加载评论…