All of Russ Abbott's Comments + Replies

Ask ChatGPT to prove that the square root of 2 is not rational. It starts out reasonably but soon claims that 2 is not a rational number! It's justification for that is that the square root of two is not rational.

3Rafael Harth
Careful with statements like "ChatGPT does x"; it doesn't always do the same thing. I've asked it for a proof and it did something totally different using parity of the fraction (you can show that if √2=a/b for a,b∈N, then both a and b are even). Although the pattern was similar; it started off really good and then messed up the proof near the end.