Une méthode probabiliste de vérification de théorèmes permet de valider une démonstration en vérifiant seulement une petite partie. Irit Dinur, qui a produit une nouvelle démonstration de ce résultat, nous explique cette percée de l'informatique théorique.