예를 들면 p-np 문제라던가? 밀리미엄 문제에 대해서는 못 푸는 것일까? 아직은 무리겠지? 아니 그 이전에 인간이 먼저 정답을 찾아내겠지?