Viva La Vida: Verification and Accumulation Failures in Multi-Agent Proof Search.

arXiv:2610.04829v1 Announce Type: cross Abstract: When an agentic prover works on an open problem, there is no proof assistant to fall back on: its verifier and lemma library are ultimately language models judging model outputs. We instrumented such a system e