Onde a AI verificável é mais importante?