From Dev.to
Can AI check your maths proofs? Yes, if you ask it the right question
AI is good enough to check most undergraduate maths exercises, but only if you ask it a narrow question. If you paste a proof and ask "is this correct?", the model will quite often say yes, tidy up yo...