Math is one field where you can mechanically prove a paper's findings. The only thing that would need to be judged is the (verified) statement's importance.

Yes in theory, but not yet in practice because not everything is fully formalised.