I heavily rely on ChatGPT with all my studying precisely because its wrong so often. Especially in maths/CS proofs its a game changer. If you keep asking it about ambiguities until you have understood it or it corrects its previous mistakes is like a self-tutoring device.