Math is the most formal science there is. Why don't serious math journals require programmatically checked proofs for all publications, and instead rely on what essentially is a code review for a very large change request with extremely convoluted code to be vetted bug free by only a handful of experts?
P.S. Reviews are still needed to check novelty etc.
P.S. Reviews are still needed to check novelty etc.