Rien n'est plus amusant que de créer une intelligence vérifiable