Interesting. Last I poked around with it GPT-4 performed abysmally with basic logic. For example it routinely confused the inference with the equivalence. Defin

Interesting. Last I poked around with it GPT-4 performed abysmally with basic logic. For example it routinely confused the inference with the equivalence. Definitely cool to see progress.