My experience with chatGPT. I asked to prove it the approximation factor of a greedy algorithm for edit distance. It started well but failed in the later half of the proof. Something like - we know and b is at least 2*OPT. Hence a is at least 2*OPT.