1630년, 프랑스의 수학자 피에르 페르마는 350년 동안 풀리지 않은 수학 문제를 제기했다.
페르마의 마지막 정리로서 알려져 있는 이 문제는
여기서 n의 값을 구하는 것이다.
컴퓨터는 n에 대해서 숫자를 계속 대입했지만 답이 나올 수 없었다.
수학자 앤드류 와일즈는 1993년 150페이지에 달하는 논문으로 완벽하게 증명했다.
컴퓨터는 계산은 잘 하지만 증명은 무용지물이라는 것이 밝혀졌다.
피카소도 컴퓨터는 그저 답만 할 수 있을 뿐이라고 비판했을 정도다.
