Claude AI 破解80年数学难题 继OpenAI后再获突破

继OpenAI宣布其GPT-5.5模型成功破解一道困扰数学界长达80年的难题后，人工智能领域的竞争再度升温。就在昨日（5月26日），Anthropic公司的工程师Sholto Douglas在X平台发布消息，确认其最新的Claude Mythos模型同样成功解答了同一道数学难题。

这道难题正是由著名数学家保罗·埃尔德什（Paul Erdős）于1946年提出的“平面单位距离猜想”。值得注意的是，就在几天前的5月21日，OpenAI团队刚刚宣布借助其GPT-5.5模型在这一问题上取得了关键性突破。

Douglas在推文中评价称，Claude Mythos所提供的证明“构思巧妙且表述简洁”。他进一步指出，这一成果清晰地表明，人工智能在数学研究与定理证明领域仍然具备巨大的、有待深入挖掘的潜力。

此次测试所采用的方法本身也极具参考价值。Douglas构建了一个多实例协同工作系统：多个具备Mythos访问权限的Claude Code实例首先独立接收问题，并分别探索不同的证明路径。随后，其中一个实例负责汇总这些初步思路，再将整合后的信息分发给其他实例，让它们基于此继续独立深化工作。这种“分治-汇总-迭代”的协作模式，很可能为未来AI协同攻克复杂科学问题提供了一种全新的范式。

当然，不同模型的成果之间也存在比较。数学家Daniel Litt在审阅了Mythos的证明后表示，其成果在某种程度上“略逊于”OpenAI发布的版本。这背后可能涉及证明的完备性、优雅度或逻辑严谨性等专业层面的考量。但无论如何，两大顶尖AI模型在如此短的时间内相继攻克同一历史性难题，这一事件本身已在学术界与科技界引起了广泛关注与热烈讨论。