Is ai capable of checking proofs yet or will it just hype me up? I think I'm right about stuff but I don't have anyone to check my work. I'm not the brightest and can sometimes make minor errors and not notice.