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 your wording and hand it back. You read the tidy version, it looks fine, and the gap is still there.…
Read the full story at DEV Community — AI ↗
Timeline · 1 report
- 2026-11-11 09:06 · DEV Community — AI
Can AI check your maths proofs? Yes, if you ask it the right question