actually, no (Score 1)

Verification of mathematical proofs is left up to the referees of a paper. No one (at the moment) is suggesting that computers are able to perform the verification job of the referees; all the computer was able to do in this case was essentially trot out a (big) number of cases and verify certain computable propositions. It was the checking of those verifications that stumped the referees, but, as those verifications formed an essential part of the proof of Kepler's Conjecture itself, their removal made the proof incomplete. Perhaps an even more appropriate title would be "Are Computers Ready to Assist in Proving Mathematical Theorems?"