Apesar da enorme e veloz evolução dos sistemas de IA Generativa, estes ainda são bastante limitados na sua compreensão do mundo real, dado que são ainda deficientes no tipo de raciocínio que requer uma “capacidade genuína de reflexão lenta e lógica”. Este contexto motivou o autor a refletir sobre que desempenho teria um destes modernos assistentes de IA Generativa - com seu “raciocínio” mais estatístico do que lógico (simbólico) - em um teste de lógica formal (cálculo de predicado de primeira ordem) em nível de graduação. Vamos, portanto, aplicar um teste (uma prova de lógica) no ChatGPT e ver os resultados.