La vérifiabilité est l'avenir de l'IA