It's probably important that some humans verify these proofs "by hand".