5月27日消息,在OpenAI宣布借助GPT-5.5模型成功攻克一道困扰数学界长达80年的数学难题后,Anthropic工程师Sholto Douglas昨日也在X平台发文称,他们的Claude Mythos同样独立解出了这道题,引发外界对AI数学推理能力的再次关注。
这道难题最早可追溯到1946年,由著名数学家保罗·埃尔德什(Paul Erdős)提出,被称为“平面单位距离猜想”(Erdős Unit Distance Problem)。此前,OpenAI团队已利用GPT-5.5模型完成相关突破;而Douglas则认为,Claude Mythos给出的证明过程“巧妙且简洁”。在他看来,这也进一步表明,人工智能在数学研究、数学证明与科学发现领域的潜力,仍有很大的挖掘空间。

Douglas此次测试依赖于一个专门构建的多实例系统:首先,让多个具备Mythos访问权限的Claude Code实例分别独立接收同一问题,并各自探索可能的证明思路;随后,再由其中一个实例对这些不同路线进行汇总整理,并将归纳后的信息重新分发给其他继续独立工作的实例。整个流程可以理解为让多个AI“研究员”先分别思考,再彼此交流,最终继续各自验证答案,从而提升AI解数学难题的效率与质量。
数学家Daniel Litt在对比两者结果后表示,Mythos给出的答案整体上“略逊于”OpenAI的版本。

