Not so fast. Yes, many proofs do follow from formal logic and maths, but new proofs often connect things or draw inferences that haven't been done previously, thus requiring human review to verify.