Modelos de Linguagem Grande Generativos na Verificação Automática de Fatos: Uma Revisão | Synapse