Comment by ball_of_lint

You also have to count the amount of tokens and human time spent afterward to verify these proofs. There's already been some papers retracted and it seems likely to me that there will be many more as people continue digging into the more dubious ones.