ChatGPT - Proof Verification in Lean