L'IA vérifiable accélère l'IA