1. 밀레니엄 문제는 어떻게 생겼을까? 🏛️

2000년 5월, 프랑스 파리의 콜레주 드 프랑스에서 미국의 클레이 수학연구소(Clay Mathematics Institute)가 일곱 개의 미해결 문제를 발표하고 각각에 100만 달러의 상금을 걸었어. 1900년 힐베르트가 23개 문제를 제시해 20세기 수학의 방향을 잡은 것에서 영감을 받은 이벤트야.

상금 규칙도 꽤 깐깐해. 논문이 공인된 저널에 발표된 뒤 일정 기간(보통 2년) 동안 수학계가 검증하고 나서야 상 수여를 검토해. 그래서 "인터넷에 증명 올렸어요!"만으로는 상금을 못 받아.

2. P 대 NP 문제 💻

질문: 답을 "확인"하는 게 빠른 문제는, 답을 "찾는" 것도 빠를까?

스도쿠로 생각해보자. 완성된 판이 맞는지 검사하는 건 금방이지? 근데 빈 판을 처음부터 푸는 건 오래 걸려. 컴퓨터과학에서는 다항 시간 안에 풀 수 있는 문제 집합을 P, 답이 주어졌을 때 다항 시간에 검증 가능한 문제 집합을 NP라고 불러. P ⊆ NP인 건 확실한데, 둘이 같은지(P=NP)는 아무도 몰라.

1971년 스티븐 쿡이 SAT 문제가 NP-완전임을 보였고, 이어 리처드 카프가 21개 문제로 확장했어. NP-완전 문제 하나만 빠르게 풀면 NP 전체가 빨리 풀려. 대다수 연구자는 P≠NP라고 믿지만 증명은 없어. 현실적으로는 암호 체계(특히 공개키 암호)가 "어떤 문제는 풀기 어렵다"는 가정 위에 서 있어서 파급력이 엄청나.

3. 호지 추측 🔷

1950년 윌리엄 호지가 제기한 대수기하학의 문제야. 매끄러운 복소 사영 대수다양체에서, 특정 종류의 위상적 도형(호지 类, Hodge class)이 "대수적 부분다양체들의 조합"으로 표현되는가를 묻는 거야.

쉽게 비유하면, 복잡하게 휘어진 도형의 위상 정보를 방정식으로 정의되는 단순한 조각들로 쪼개서 설명할 수 있느냐는 질문이지. 차원이 낮은 경우(예: 1,1 류 경우에 해당하는 락스-밀그램 정리 기반 결과)는 증명돼 있지만 일반적인 경우는 열려 있어. 반례도 증명도 없는 상태고, 특히 일부 변형 형태(정수 계수 버전)는 반례가 알려져 있어(아티야-히르체브루흐).

4. 리만 가설 🌀

1859년 베른하르트 리만이 제시한 이야기야. 리만 제타 함수 ζ(s)의 "자명하지 않은 영점"은 모두 실수부가 1/2인 직선 위에 있다는 주장이지. 소수의 분포와 직결돼서 수론의 성배로 불려.

유한체 위의 유사 버전(베유 추측)은 1970년대 피에르 들리뉴가 증명했어. 이게 큰 힌트지만 원래 가설은 여전히 미해결이야. 참이면 소수 정리의 오차 항을 아주 정밀하게 제어할 수 있게 돼.

5. 양-밀스 존재성과 질량 간극 ⚛️

입자물리학의 표준 모형은 양-밀스 이론(게이지 이론)에 기반해. 물리학자들은 이 이론이 잘 작동한다고 알고 있지만, 수학적으로 엄밀하게 4차원에서 이론이 존재함을 보이고, 가장 가벼운 입자의 질량이 0보다 큰 질량 간극이 있음을 증명하라는 게 문제야.

실험적으로 강한 상호작용의 글루온은 질량이 없는데도 강입자들은 질량이 있고, 격자 게이지 이론의 컴퓨터 시뮬레이션도 간극을 지지해. 하지만 수학적 증명은 아직 없어. 수학과 물리가 만나는 지점이라 더 흥미로운 문제야.

6. 내비어-스토크스 방정식 🌊

물, 공기 같은 유체의 움직임을 기술하는 방정식이야. 문제는 3차원에서 매끄러운 초기 조건이 주어졌을 때, 해가 모든 시간에 대해 매끄럽게 존재하는지 아니면 어느 순간 값이 무한대로 튀는 특이점(blow-up)이 생기는지를 묻는 거야.

2차원은 해결돼 있고, 3차원은 장 르레(1934)가 "약한 해"의 존재를 보였지만 유일성·매끄러움은 미해결이야. 일기예보, 비행기 설계에 이 방정식이 쓰이는데도 수학적으로 완전히 이해된 건 아니라는 게 반전 포인트지. 최근에는 AI·컴퓨터 지원 증명 기법으로 관련 방정식(오일러 방정식, 보시니스크 등)의 특이점 후보를 찾는 연구가 보고되고 있어. 다만 원래 문제의 해결로 인정된 건 아니야.

7. 버치-스위너턴다이어 추측 🍩

타원곡선 y² = x³ + ax + b 같은 식의 유리수 해가 몇 개인지를 다루는 문제야. 타원곡선의 L-함수가 s=1에서 갖는 영점의 차수(order)가 곡선 유리점의 "계수(rank)"와 같다는 추측이지. 1960년대 영국 케임브리지의 버치와 스위너턴다이어가 컴퓨터 계산 데이터에서 발견했어.

부분 결과는 있어. 콜리바긴과 그로스-자기에 등의 결과로 L-함수의 영점 차수가 0 또는 1인 경우에 한해 성립이 증명돼 있지. 바르가바, 샨카르 등은 평균적으로 큰 비율의 타원곡선에 대해 관련 결과를 얻었어. 일반 경우는 열려 있어.

8. 푸앵카레 추측: 유일하게 풀린 문제 🏆

1904년 앙리 푸앵카레가 제기한 문제로, "단일 연결된 닫힌 3차원 다양체는 3차원 구와 위상동형인가?"를 묻는 거야. 비유하자면 밧줄을 풍선 표면에서 줄여 점으로 만들 수 있다면 그 물체는 구라는 뜻이야.

2002~2003년 러시아의 그리고리 페렐만이 arXiv에 리처드 해밀턴의 리치 흐름(Ricci flow)을 활용한 증명을 올렸어. 이후 여러 수학자가 검증했고, 2010년 클레이 연구소는 상 수여를 발표했어. 하지만 페렐만은 상금을 거절했지. 2006년 필즈상도 거절한 걸로 유명해. 이 증명은 서스턴의 기하화 추측까지 함께 해결한 거야.

9. 한눈에 정리 📋

참고로 나는 실시간 최신 소식을 별도로 검색해 확인하진 않았어. 그래서 "해결됐다"는 주장이 새로 나왔더라도, 공식 인정은 클레이 수학연구소의 발표로 확인하는 게 안전해.

10. 가짜 증명 주의보와 도전하는 법 🚨

해마다 리만 가설이나 P vs NP를 "증명했다"는 주장이 쏟아져. 대부분은 전문가 검증에서 오류가 발견돼. 큰 주장일수록 엄격한 동료 심사가 필수야. 진지하게 도전하고 싶다면 아래 순서를 추천해.

혼자 공부가 막막하면 재능넷(https://www.jaenung.net) 같은 재능 공유 플랫폼에서 수학 튜터나 시각화 디자이너를 찾아 같이 공부하는 방법도 있어. 어려운 개념일수록 설명해주는 사람이 있으면 훨씬 빨리 이해되거든.

마무리 🎉

밀레니엄 문제는 "상금 때문에" 어려운 게 아니라, 그 뒤에 수학의 깊은 구조가 숨어 있어서 어려운 거야. 일곱 문제 중 하나만 풀렸고, 나머지는 앞으로 누가 어떤 도구로 풀지 모르는 열린 세계야. 어쩌면 이 글을 읽는 네가 그 주인공일지도 몰라!

참고 자료
Clay Mathematics Institute, Millennium Prize Problems: https://www.claymath.org/millennium-problems/