Math proofs, like code, do contain bugs. At least all of them are 'open source.

Come to think of it, imagine a mathematition going 'trust me bro, I've proved this'