사람이 평생을 걸려도 하지 못할 계산을 컴퓨터가 몇 시간 만에 해낼 수 있다 해도, 이것 때문에 수학적 증명의 개념이 바뀌지는 않는다.
Even if a computer can perform calculations in a matter of hours that a person would not be able to take in a lifetime, this does not change the concept of mathematical proofs.