이미 수학 7대 난제 중 몇개는 풀었을지도