I don't think it's an argument against computer checked proofs. He even seems to acknowledge that automatic verification is a good idea. Unfortunately the world we live in is filled with proofs that cannot be checked by a computer.