I played with ChatGPT for the first time today, asking it to prove Pythagoras's Theorem. Its proof was wrong. I then asked for a proof of Zorn's Lemma, the toughest theorem I ever remembered studying! Also wrong But it motivated me to understand the real proof. I'm so glad I did