[armchairhacker]

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.

[conformist]

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