L'IA verificabile è il futuro.