alt Hacker NewsMath 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.
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.