Inteligência artificial identifica tributos pagos a maior pelas empresas e parte destes valores pode apresentar oportunidade de recuperação