Anthropic 首次 Fermat 挑战失败:多智能体丢失共享状态
inductionheads · x · 2026-09-06
Chi Wang 引述 Anthropic 的复盘:其首次 Fermat 数学挑战失败的原因不是数学本身,而是数十个 Claude agent 丢失了对共享项目状态的追踪。
团队最终在改用 Prove2Me 的「命题与证明 DAG(有向无环图)」后才成功。核心结论是:在这种规模的多智能体协作中,「记忆」必须是外部的、结构化的基础设施,而不是靠 prompt 维持。转发者由此畅想:如果任何科学问题都能建一个 DAG 会怎样。
「编程与Agent」频道最新
- 用 AI 干活反而难保心流：等待期被迫多任务 — _akpiper · 2026-09-06
- Teknium 简短回应 Hermes 争议：比所有编码 agent 都好 — Teknium · 2026-09-06
- 开发者提议 agent 用 Accept-Language 头声明偏好编程语言 — cramforce · 2026-09-06
- 零 SFT 直接 RL:用 0.8B Qwen 基座跑 GRPO 数小时就能看会推理 — alexcovo_eth · 2026-09-06
- Agent 找不到自己两周前写的代码:三人全 agent 开发三个月复盘 — Sweaty-Landscape-561 · 2026-09-06
- Sentrux 开源：给 AI 编码 Agent 装上实时架构传感器 — Arindam_1729 · 2026-09-06