Anthropic 工程师 Sholto Douglas 在 X 平台宣布，其最新模型 Claude Mythos 成功通过一个”巧妙而简洁的证明”解决了组合几何领域的百年历史难题 ——Erdős 单位距离猜想 … 此前，谷歌 DeepMind 曾宣布利用其 AlphaProof Nexus 系统攻克了 9 个 Erdős 问题，但因其高度依赖 Lean 形式化证明语言，在纯粹的生成式 AI 领域引发了关于自主推理含金量的争议 … 随着 Claude Mythos 与 GPT-5.5 在算法发现和系统漏洞利用等前沿领域展现出自主演进能力，AI 正在从早期的”提示词工程”阶段全面迈向具备深度逻辑推理与科学探索能力的自主智能体时代。