Anthropic Lance Martin：1000 个 Claude 智能体协作形式化费马大定理

Anthropic 的 Lance Martin 在 #AIECode 活动上分享了用 1000 个 Claude 智能体对费马大定理进行数学形式化的案例。 他对长时程智能体的核心判断是：成败主要取决于奖励机制和评测设计，而不是提示词本身。这类大规模多智能体协作需要把任务拆成可验证的子目标，靠 evals 来衡量每一步是否正确，而不是靠一句精心打磨的 prompt 让模型一次跑完。 这个观点对开发者有直接参考价值：与其在提示词上反复调优，不如把精力放在可验证的评测和奖励信号上，这在数学证明、代码生成等可自动验证的场景里尤其适用。