AI can accelerate discovery of practical distributed systems protocols by automating protocol design, implementation, and verification, but human experts remain essential for guiding the search and validating results.
Researchers used AI to discover A-greement, a new consensus protocol for distributed systems that outperforms existing solutions by 12-33% on geo-replicated workloads.