RECHERCHE
Comment vérifier la cohérence d'affirmations probabilistes
Un protocole de preuve interactive permet de vérifier en temps polynomial la cohérence des prédictions probabilistes d'un modèle d'IA, avec des implications pour la sécurité.
arXiv cs.AI · cs.LG · cs.CL·Orr Paradise, Oliver Richardson, Yoshua Bengio, Shafi Goldwasser·11 août 2026
Image · Source originale
Des chercheurs proposent un protocole IPCP permettant à un vérificateur polynomial de contrôler la cohérence approximative des réponses probabilistes d'un modèle, sans accès complet à ses calculs internes. Le travail place la cohérence l2-approximative d'affirmations probabilistes explicites dans la classe NP, en s'appuyant sur des travaux antérieurs de Nilsson. L'approche vise à fonder la sécurité de l'IA sur une honnêteté vérifiable des prédictions de risques.
Chaleur 0
Pertinence 45
Nouveauté 75