In my experience, when a computer proof disagrees with a person proof, it's more likely the person was wrong, rather than the computer (along with the computer's programmer and hardware of course).