When I've asked it to, ChatGPT has repeatedly failed at the task "prove that if `a` and `b` are positive integers, then `a a*b`". Its confident and totally incorrect answers to "find all integers `a` such that `a*(a-8)` is a perfect squ