arXiv 自然语言处理· Benji Xu, Ken Zheng, Noah Han·· 5 小时前AI 评分58
Viva La Vida：多智能体开放问题证明搜索中的验证与积累失效分析
Viva La Vida: Verification and Accumulation Failures in Multi-Agent Proof Search
AI 导读
最新论文对缺乏形式化证明助手的多智能体证明搜索系统进行了端到端监测，在 3 次完整运行（历时 186 小时、耗资 $5,694、共 51,754 次追踪观测）中发现了三类连锁失效模式。
来源：arXiv 自然语言处理 · arxiv.org