IT之家（RSS）
Anthropic 的 Claude Mythos 也解出 80 年数学难题
阅读原文· ithome.comAI 摘要
继 OpenAI 宣布利用 GPT-5.5 模型攻克保罗·埃尔德什提出的“平面单位距离猜想”后，Anthropic 工程师 Sholto Douglas 在 X 平台表示，其模型 Claude Mythos 也独立解出了这道存在 80 年的数学难题。Douglas 称 Claude Mythos 给出了一份“巧妙而简洁”的证明，并通过一个由多个 Claude Code 实例组成的系统完成。数学家 Daniel Litt 评价该结果略逊于 OpenAI 的版本。
原文
IT之家 5 月 27 日消息，在 OpenAI 宣布利用 GPT-5.5 模型攻克 80 年数学难题后，Anthropic 的工程师 Sholto Douglas 昨日（5 月 26 日）在 X 平台发布推文，称 Claude Mythos 也解出了这道数学难题。
IT之家曾于 5 月 21 日报道，OpenAI 团队借助 GPT-5.5 模型，攻克保罗・埃尔德什（Paul Erdős）于 1946 年提出的“平面单位距离猜想”（Erdős Unit Distance Problem）。
Douglas 于 5 月 26 日在 X 平台发布推文，称 Claude Mythos 给出了一份“巧妙而简洁”的证明，并把这件事视为 AI 数学发现仍有巨大潜力的信号。
Douglas 本次测试依托一个专门搭建的多实例系统，若干拥有 Mythos 访问权限的 Claude Code 实例先独立接收问题，各自摸索可能的证明路径；随后由其中一个实例汇总这些路线，再把整理后的信息分发给其他继续独立工作的实例。
数学家 Daniel Litt 表示，Mythos 的结果“略逊于”OpenAI 的版本: