Salomão listou como metas reduzir o volume de processos, acelerar o tempo de resposta da Corte com filtro de relevância e colocar IA "a serviço da sociedade"