💡 站外导读：当AI巨头竞相攻克顶级数学猜想，我们见证了怎样的范式变革？继OpenAI的GPT-5.5之后，Anthropic的Claude Mythos模型凭借其创新的多智能体协同系统，独立给出了Erdős单位距离猜想的精简证明。这不仅是一场技术竞赛，更预示着AI正从执行指令的“工具”，进化为能进行深度逻辑推理与原创科学探索的“自主研究者”。
5月26日，Anthropic 工程师 Sholto Douglas 在 X 平台宣布，其最新模型 Claude Mythos 成功通过一个“巧妙而简洁的证明”解决了组合几何领域的百年历史难题——Erdős 单位距离猜想。这一突破紧随 OpenAI 日前利用 GPT-5.5攻克该里程碑式数学难题之后，标志着头部 AI 厂商在纯数学发现领域的竞争已进入白热化阶段。
这次技术突破引入了一种全新的智能协作模式，它超越了以往依赖单一模型的传统做法。据了解，研发团队搭建了一个自动化测试平台，该平台由多个独立的 Claude Code 智能体实例协同运作。在这个体系中，拥有 Mythos 访问权限的智能体负责接收任务，并构思出多样化的解决路径；随后，由另一个专门的实例对这些方案进行整合，并分发给其他独立运行的实例，以实现相互校验与评估。
尽管数学家 Daniel Litt 评价 Mythos 的初始结果在绝对表现上“略逊于” OpenAI 的解法，但该模型最终成功找到了与 OpenAI 相同的解题路径，并且独立推导出了更具独创性的精简证明。目前，Anthropic 已正式发布由 Opus4.7整理完成的证明版本。
这一成果重新点燃了业界关于‘纯粹的大语言模型’与‘融合符号推理的辅助系统’两条技术路线孰优孰劣的讨论。此前，谷歌 DeepMind 公布了其 AlphaProof Nexus 系统成功解决了 9 个 Erdős 难题，但由于该方法在很大程度上依赖 Lean 这类形式化证明语言，因此在生成式人工智能的核心领域，引发了外界对其‘自主推理’能力究竟有多少实质性突破的广泛争议。
相比之下，Claude Code 作为一种智能体(Agent)框架，正通过多智能体协同攻克人类顶级科学难题。当前 AI 领域正经历剧烈的范式变革，菲尔兹奖得主近日亦证实 ChatGPT5.5Pro 已能在两小时内自主完成博士级数学研究。随着 Claude Mythos 与 GPT-5.5在算法发现和系统漏洞利用等前沿领域展现出自主演进能力，AI 正在从早期的“提示词工程”阶段全面迈向具备深度逻辑推理与科学探索能力的自主智能体时代。
📝 站长洞察 (Editor’s Insight)
此次事件绝非简单的模型性能比拼，而是AI研发范式深层分化的标志。谷歌DeepMind的符号化路线（AlphaProof Nexus）与OpenAI、Anthropic的纯生成式路线之争，本质上是“形式化验证”与“涌现推理”的哲学差异。Anthropic的“多智能体交叉验证”框架尤为值得关注：它模拟了学术共同体的同行评议机制，通过分布式实例的制衡，既提升了输出可靠性，又激发了方案的独创性。这或将定义下一代科研AI的核心架构。菲尔兹奖得主证实AI可自主完成博士研究，意味着AI科学发现的时代已从理论走进现实。未来，具备复杂问题拆解、多路径探索与自我迭代能力的“科研智能体”，将成为顶尖实验室的战略资产，彻底重塑基础科学的研究节奏与创新边界。
