Earlier quoted context omitted.
It's quickly apparent that the people impressed with ChatGPT's code are generally solving pretty toy problems and want an alternative to SO for "how to do X".
Well yes because that's about the limit of what it is capable of at the moment, but that limit is very impressive ! I don't know why so many people are unimpressed with it because it isn't some kind of all knowing hyperintelligent god. This guy is literally unimpressed with it because it can't solve Fermat's last theorem! Wtf?
It’s impressive tech, but giving a false-but-believable proof is substantially worse than saying “I don’t know how to do that”. If it had come back with “I don’t know how to give a proof of Fermat’s Last Theorem in Isabelle”, I wouldn’t have been unimpressed; there are plenty of very cool things it can do. I just think that it being confidently incorrect is a bad thing.
EDIT:
I should point out, it also was wrong with substantially simpler proofs, like the proof of infinite primes.