Cet article propose un protocole pour garantir l'exactitude des agents d'IA autonomes dans des environnements dynamiques et à faible confiance. L'exactitude est une propriété émergente dans les systèmes où le coût d'exposition des erreurs est inférieur à celui de leur réalisation. Le protocole garantit l'exactitude par des revendications sécurisées dans un jeu de vérification récursif. Les tâches sont publiées sous forme d'intentions, et les solveurs rivalisent pour les exécuter. Le solveur choisi exécute la tâche à risque, et le vérificateur vérifie l'exactitude a posteriori. Tout challenger peut lancer le processus de vérification en contestant les résultats ; les agents incorrects sont éliminés et les dissidents corrects sont récompensés. Il existe des voies d'escalade où les vérificateurs incorrects sont eux-mêmes pénalisés. Lorsque les incitations des solveurs, des challengers et des vérificateurs sont alignées, les conditions de falsification font de l'exactitude un équilibre de Nash.
