Multi-agentic Software Development is a Distributed Systems Problem (AGI can't save you)
Multi-agent software synthesis maps to distributed consensus: given a prompt P defining a program set Φ(P), coordinating agents to produce compatible components φ₁...φₙ requires agreeing on a single φ ∈ Φ(P), an invariant coordination problem with known impossibility results regardless of agent intelligence. The author advocates for choreographic languages—formalizing agent interactions with game theory—as essential tooling, rejecting the 'wait for AGI' mindset that ignores foundational distributed systems literature. This reframes orchestration frameworks like LangGraph and CrewAI as needing DS-inspired correctness guarantees, not just smarter models. You design multi-agent systems (LangGraph, CrewAI), so this shows coordination failures are fundamental distributed systems problems, not solved by model upgrades—you must build in formal coordination guarantees. Study distributed consensus algorithms and choreographic programming models to design verifiable multi-agent workflows, not just chain smarter LLMs.