백진언 고등과학원 허준이수학난제연구소 박사 직관적 이해 가능하지만 수학적으로는 난해 논리적 추론만으로 최적의 모형을 입증60년 가까이 풀리지 않던 수학 난제 ‘소파 움직이기 문제’..