리만가설 정도는 코딩으로 풀수있어야함.