Local Work, Global Progress: A Convergence Theory of AI Agent Collaboration
Models a team of AI agents as block optimization, where each agent improves its own part of a shared solution with a correction for the other parts and a coordinator merges only verified progress. Proves linear convergence up to an error floor set by the correction error, extends the guarantee to merging interfering proposals, and tests the theory with LLM agents on robot routing.