# Have there been any computer proofs that were found to contain bugs post-publication?

I'm curious if there are any known examples of proofs using a computer which after being published, (in a journal or otherwise) turned out to have bugs in the software which invalidated the proof. I'm particularly interested in examples where the "proved" conjecture turned out to be false.