4 ms·It's probably important that some humans verify these proofs "by hand".by chr15m 8d agoIt's probably important that some humans verify these proofs "by hand".