> Arithmetic problems have nothing to do with reasoning Then try to introduce GPT-4 to Peano's axiom and try to make it "understand" arithmetic that way? Oh, w

> Arithmetic problems have nothing to do with reasoning Then try to introduce GPT-4 to Peano's axiom and try to make it "understand" arithmetic that way? Oh, wait, it could already lecture you about it.