미해결 문제

• 골드바흐추측
• 리만가설
• 쌍둥이소수 추측
• P = NP 문제
• abc추측
• 홀수완전수의 존재 여부

비교적 최근에 증명된 것:

• 도로색칠문제 (2007년 증명) – 참
• 푸앵카레추측 (2002년 증명) – 참
• 페르마의 마지막 정리 (1995년 증명) – 참
• 4색정리 (1977년 증명) – 참; 컴퓨터증명에 의존하지 않는 접근은 아직 없음

• 한국어와 일본어의 분류?
• 원시인류언어의 존재 여부

• 몇몇 안 풀린 유명한암호문의 해독