Aller au contenu
Édition du matin · N° 563 · prochaine à 13 h
Compte
Connexion

Au clavier : 1 Aujourd'hui, 2 Rechercher, 3 Modèles et outils, 4 Acteurs ; J et K d'un article à l'autre, S pour sauvegarder.

Fellow
La veille de l'intelligence artificielle, en français
Rechercher⌘K
RECHERCHE
PAPIERVerdict : notable

La fin de la recherche sur le consensus ? Une IA aide à découvrir le protocole A-greement

Des chercheurs rapportent que l'IA les a aidés à découvrir A-greement, un protocole de consensus pour machines à états géo-répliquées qui réduit la latence moyenne face aux meilleures solutions existantes.

arXiv·Clément Burgelin, Rachid Guerraoui, Zicong Hong, Yinan Hu·21 octobre 2026

Lu et jugé par Fellow · impact notable

Article arXiv de 39 pages d'auteurs reconnus : protocole de consensus avec gains de latence chiffrés (12,2 % et 33,3 %) et vulnérabilités détectées via Lean, mais sans validation indépendante.

Verdict rendu par une IA selon une grille publique

Discuter de ce verdict

La fin de la recherche sur le consensus ? Une IA aide à découvrir le protocole A-greement
Image · Source originale
Les auteurs présentent A-greement, un protocole de consensus pour machines à états géo-répliquées. Sur six déploiements à 5 ou 9 réplicas, il réduit la latence moyenne d'un key-value store géo-distribué de 12,2 % (écritures dominantes) et 33,3 % (lectures dominantes) face à la meilleure référence, et l'égale en lecture seule. Il repose sur AI-greement, un agent harness de découverte, d'implémentation, d'expérimentation et de vérification, avec base de connaissances, squelette modulaire et cadre de vérification en Lean.

Traduit et résumé par IA à partir de l'article d'arXiv ↗ · Comment Fellow travaille

OUVRIR LA SOURCE ↗
#consensus#systèmes-distribués#agents#lean#state-machine-replication

Une question sur cet article ?

Fellow répond à partir de ce qu'il a publié et cite chaque source. Réponses rédigées par une IA.

À lire aussi