2 ms·It's probably important that some humans verify these proofs "by hand".by chr15m 2mo agoIt's probably important that some humans verify these proofs "by hand".