>The only way to mitigate this is to use computer-readable proofs, which can be verified by algorithms to ensure correctness. This seems like a strong overstat

>The only way to mitigate this is to use computer-readable proofs, which can be verified by algorithms to ensure correctness. This seems like a strong overstatement. We got by for more than 2000 years without computer-readable proofs, relying on intuition and validation.