Aller au contenu
Édition du soir · N° 574 · prochaine à 9 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

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·Orr Paradise, Oliver Richardson, Yoshua Bengio, Shafi Goldwasser·11 août 2026
Comment vérifier la cohérence d'affirmations probabilistes
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.

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

OUVRIR LA SOURCE ↗
#ai-safety#vérification-formelle#probabilités#complexité-computationnelle

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