There was a question [1] on mathoverflow about this with a couple of interesting answers and comments. [1] https://mathoverflow.net/questions/291158/proofs-sho

There was a question [1] on mathoverflow about this with a couple of interesting answers and comments. [1] https://mathoverflow.net/questions/291158/proofs-shown-to-be-wrong-after-formalization-with-proof-assistant/ https://mathoverflow.net/questions/291158/proofs-shown-to-be...