谷歌多智能体数学证明论文：验证者用干净上下文跑证明，探索者可放手试错

LangChain 创始人 Harrison Chase 转发谷歌一篇多智能体数学证明发现论文，指出其验证者从干净上下文启动，探索者的推理过程无法“说服”它接受错误证明。该设计让探索者可以大胆尝试各种想法、由验证者筛掉错误结论，Chase 称这与 deepagents 子智能体拥有独立上下文是同一原理。