200년 동안 풀리지 않았던 수학계 난제 +120 [4]

오일러 추론.

유명한 수학자 레온하르트 오일러가 1769년에 발표한 추론으로,

위의 방정식을 만족시키는 정수해는 존재하지 않는다고 주장했다.

200년이 가까이 되도록 해당 추론은 증명되지 않았고,

이에 대한 반례도 발견되지 않았는데.....

1969년, 컴퓨터가 발명되면서 수학자들은 간단한 방법으로 이 추론이 참이 아님을 증명한다.

그냥 모든 경우를 다 대입해서 컴퓨터 돌려서 반례를 찾아버린 것.

그러다보니 논문도 매우 간략하다. 발표된 증명은 위의 내용, 컴퓨터 돌려보니 반례가 있더라는 내용이 전부였다;;

어쨌든 반례가 60년대 컴퓨터를 돌려서 찾을수 있을만큼 가까운 곳에 있었기에 다행이었을수도.

'이런 문제도 못 풀다니, 멍청하군요 휴먼.'