My point is that if a proof is wrong or incompletely stated, we can just revise it and fix it. Commit by commit, build out a complete proof. This differs completely from the way that mathematicians have historically operated: check the work endlessly and privately email it to your friends until you’re sure it’s correct and then submit it to a journal.

It’s better to just publish something that you think is correct and if you find out it’s incorrect, try to fix it later.

My point is just that if a handful of these proofs are later revised or retracted, it’s really not a big deal.