Why are mathematical proofs that rely on computers controversial?

math.stackexchange.com