밀레니엄 문제 미증명 이론 호지 추측 리만 가설 양-밀스 질량 간극 가설 P-NP 문제 버치-스위너턴다이어 추측 나비에-스토크스 방정식의 해의 존재와 매끄러움 증명된 이론 푸앵카레 정리 분류 둘러보기 틀/수학 수학문제