The check you can write is the check you can fool

L'auteur propose un test strict pour la vérification des systèmes d'IA: si le système vérifié aurait pu produire la vérification elle-même. Cette approche met l'accent sur la provenance des preuves pour une véritable vérification, plutôt que de se fier uniquement aux mécanismes internes.