Onde a IA verificável é mais importante?