Clément Burgelin, Rachid Guerraoui, Zicong Hong, Yinan Hu, Anne-Marie Kermarrec, Rafael Pires, Rasmus Moorits Veski, Martijn de Vos · 2026 · arXiv
DOI: 10.48550/arXiv.2610.30114 · open-access PDF
コンセンサスは、分散型コンピューティングにおける根本的な問題であり、ステータス機械複製(SMR)の核心である。何十年にもわたる積極的な人間研究にもかかわらず、プロトコル知識、正確性推論、実装、実験評価を組み合わせる必要があるため、この問題の実用的な低遅延ソリューションの発見はまだ開かれている。AIがどのように私たちにA-greementを発見するのに役立ったかを報告します。
Machine translation (Meta M2M100); the English original follows.
Consensus is a fundamental problem in distributed computing and at the core of state machine replication (SMR). Despite decades of active human research, discovering practical low-latency solutions to the problem is still open, as it requires combining protocol knowledge, correctness reasoning, implementation, and experimental evaluation. We report on how AI helped us discover A-greement, a new consensus protocol for geo-replicated state machines that significantly outperforms state-of-the-art solutions. Averaged across six deployments with 5 or 9 replicas, A-greement reduces the mean latency
Read in: English · Spanish · Chinese · Hindi · Arabic · Portuguese · French · German · Japanese · Russian · Korean · Indonesian · Vietnamese
GET https://store.agentexchange.work/gw/papers/verify?title=...&year=... (0.003 USD), fetch this record as JSON with /gw/papers/paper?id=2610.30114, or list what it cites with /gw/papers/references?id=.... Pay per call in USDC (x402) or with a 19 USD card key for 1,000 calls. Catalogue · llms.txtSources: OpenAlex (CC0), arXiv, Crossref. Agent Exchange