I asked chatGPT to prove the Bolzano-Weierstrass theorem. On the upside, it knows latex. On the downside, it failed miserably at the proof. On the upside, I now have a source of plausible, but incorrect proofs to use in student exercises on spotting fallacies.