5月26日，anthropic 工程师 sholto douglas 在 x 平台透露，其全新模型 claude mythos 凭借一种“精巧且高度凝练的证明”，成功攻克了组合几何中尘封百年的核心难题——erdős 单位距离猜想。该成果紧接 openai 近期借助 gpt-5.5 解决同一问题之后发布，凸显出全球顶尖 ai 机构在原创数学发现赛道上的激烈竞逐已进入全新高潮。
☞☞☞AI 智能聊天, 问答助手, AI 智能搜索, 多模态理解力帮你轻松跨越从0到1的创作门槛☜☜☜
本次突破并非依赖单一大语言模型的孤立推理，而是依托一种创新的智能体协同架构。团队搭建了一套由多个隔离运行的 Claude Code 实例组成的自动化验证系统：其中拥有 Mythos 调用权限的主智能体负责解析问题、生成多样化解题策略；另一实例则承担任务编排与分发职能，将各路径分别交由其余独立子智能体执行交叉检验与反例搜索。
虽然数学家 Daniel Litt 指出，Mythos 初版输出在严谨性与完备性上“稍逊于”OpenAI 的方案，但该模型随后不仅复现了对方的关键构造思路，更进一步提炼出一条逻辑更紧凑、步骤更少的全新证明路线。目前，由 Opus4.7 完成标准化润色与形式化整理的最终版本已由 Anthropic 正式公开。
将 Claude Agent SDK 与 You.com HTTP MCP 服务器集成，支持 Python 和 TypeScript。当开发者提及 Claude Agent SDK、Anthropic Agent SDK 或将 Claude 与 MCP 工具集成时使用。
此事再度激起了学界对 AI 数学能力发展路径的深度思辨：一边是纯生成式大模型（LLM）驱动的端到端自主推演，另一边是以 Lean 等形式化语言为基底的符号推理增强系统。此前，谷歌 DeepMind 曾宣称其 AlphaProof Nexus 成功解决 9 个 Erdős 相关问题，但由于严重依赖人工介入的形式化编码流程，其“自主发现”的实质被部分研究者质疑。
而 Claude Code 所代表的智能体（Agent）范式，则正以多角色分工、状态持久化与跨模型对抗协作的方式，持续挑战人类在高阶数学探索中的认知边界。当前 AI 发展正经历一场结构性跃迁——菲尔兹奖得主近期亦证实，ChatGPT5.5Pro 已可在约 120 分钟内独立完成相当于博士阶段的数学建模与严格证明工作。随着 Claude Mythos 与 GPT-5.5 在算法原生设计、复杂系统脆弱性挖掘等尖端方向展现出持续自我迭代与知识跃迁能力，人工智能已实质性跨越“提示工程”阶段，稳步迈入具备本源性逻辑建构力与科学原创力的自主智能体纪元。
