ChatGPT is helping me relearn mathematical proofs by induction. I asked it "Prove by induction that 11n 6 is divisible by 5 for every positive integer n." It did, step by step. Then I said ok "Prove that n+1 = n-1 for all n". It said it's impossible and explained why.