Imagine a student reading a proof and following the idea, then being told it only counts once a computer checks every step. I guess that feels wrong to me. Math is about understanding, not just mechanical verification.