wow the biggest takeaway is that mathematicians need to have a mechanism to proof that their proofs are right! Over 120 'proofs' which have proven to be wrong,

wow the biggest takeaway is that mathematicians need to have a mechanism to proof that their proofs are right! Over 120 'proofs' which have proven to be wrong, are other fields in mathematics equally error ridden? Koq seems less like a toy but more like a necessity. Or those papers need to be called "attempt for a proof, sketch of the proof, proposition of a proof" before there is community consensus. (which seems to be the unofficial reading anyway so this ticket can be closed)