Ex-presidente do STF afirma que tecnologia já reduz carga processual e diz que futuro terá decisões produzidas por IA sob supervisão humana