在组合几何领域，一个困扰学界百年的难题——Erdős单位距离猜想，近日被人工智能领域取得突破性进展。Anthropic公司宣布，其最新模型Claude Mythos通过一种精巧的证明方法成功解决了这一难题。这一成果紧随OpenAI利用GPT-5.5攻克同一问题之后，显示出头部AI企业在数学基础研究领域的激烈竞争态势。
与传统数学研究模式不同，Anthropic团队采用了多智能体协同的全新范式。他们构建了一个由多个独立Claude Code实例组成的自动化验证系统：主智能体负责接收问题并生成多种解题路径，辅助智能体则对不同方案进行交叉验证和优化。这种分布式架构使得模型能够同时探索多个研究方向，最终找到与OpenAI相同的解题思路，并独立推导出更为简洁的证明版本。目前，经Opus4.7系统整理的完整证明已正式发布。
数学界对这一成果给予了高度关注。虽然有专家指出Claude Mythos的初始方案在表现上稍逊于OpenAI的解法，但其最终推导出的精简证明展现出独特的创新性。这种既保持解题方向一致性，又能发展出独立优化路径的能力，为AI辅助数学研究提供了新的范式参考。此前谷歌DeepMind通过AlphaProof Nexus系统解决9个Erdős相关问题时，因其过度依赖Lean形式化语言而引发关于AI自主推理能力的争议，相比之下，Claude Code框架的多智能体协同模式更强调系统内部的有机互动。
当前AI技术发展正经历深刻变革。菲尔兹奖得主近期证实，最新版本的ChatGPT5.5Pro已具备在两小时内独立完成博士级数学研究的能力。随着Claude Mythos与GPT-5.5在算法发现、系统漏洞分析等前沿领域持续展现自主演进能力，AI技术正从依赖人工提示的初级阶段，向具备深度逻辑推理和科学探索能力的成熟阶段迈进。这种转变不仅体现在数学领域，更预示着整个科研范式可能面临重构。
行业观察人士指出，纯大语言模型与符号推理辅助系统的技术路线之争愈发激烈。Anthropic的多智能体协同模式与OpenAI的单一模型优化路径形成鲜明对比，而谷歌DeepMind坚持的形式化证明方向则代表第三种技术路线。这种多元化的探索正在推动AI在基础科学领域的应用边界不断扩展，其最终影响可能远超解决单个数学难题本身。
