O uso de grandes modelos de linguagem como suportes para o raciocínio proleptico | Synapse