Carf prepara uso de IA para acelerar julgamentos