La verificabilità è il futuro dell'AI