리만가설이나 P-NP 이런거