쌍둥이 소수 추측: 무명의 수학자 장이탕이 연 '소수 간격'의 돌파구 🧮

1. 쌍둥이 소수가 뭐길래? 🤔

먼저 기본기 체크. 소수(prime number)는 1과 자기 자신으로만 나누어떨어지는 1보다 큰 자연수야. 2, 3, 5, 7, 11, 13, 17, 19, 23, 29… 이런 친구들이지. 숫자 세계의 '원자' 같은 존재라서, 모든 자연수는 소수들의 곱으로 딱 한 가지 방식으로 쪼개져(이게 산술의 기본정리).

그런데 소수를 쭉 적어보면 묘한 게 보여. 가끔씩 딱 2 차이로 붙어 있는 쌍이 튀어나오거든.
(3, 5), (5, 7), (11, 13), (17, 19), (29, 31), (41, 43), (59, 61), (71, 73)…
이걸 쌍둥이 소수(twin primes)라고 불러. 2를 제외한 소수는 전부 홀수니까, 홀수끼리 가장 가깝게 붙을 수 있는 간격이 2잖아? 그러니 쌍둥이 소수는 "소수끼리 최대한 바짝 붙은 커플"인 셈이야.

재밌는 건, 유클리드가 기원전 300년경에 이미 "소수는 무한히 많다"를 증명했다는 거야. 그런데 "소수 쌍이 무한히 많냐"로 살짝만 바꾸면, 갑자기 인류 최고의 두뇌들이 2천 년 넘게 손도 못 대는 문제가 돼. 수학이 이렇게 짓궂어. 😅

왜 이렇게 어려울까?

소수는 커질수록 점점 드물어져. 1부터 100 사이엔 소수가 25개인데, 1부터 100만 사이엔 78,498개, 비율로 보면 약 7.8%까지 떨어져. 이걸 정확하게 설명하는 게 소수 정리(Prime Number Theorem)야. 1896년 아다마르와 드 라 발레 푸생이 각각 증명했는데, 내용은 이래.

즉 수가 커질수록 소수 사이의 평균 간격은 끝없이 벌어져. 10억 근처면 평균 간격이 약 21, 10¹⁰⁰ 근처면 약 230이야. 평균이 무한대로 커지는데, 그 와중에 간격 2짜리 '초밀착 커플'이 계속 나타날 수 있을까? 직관은 "그렇다"고 말해. 컴퓨터도 엄청나게 큰 쌍둥이 소수를 계속 찾아내고 있고. 하지만 "계속 있다"를 증명하는 것은 완전히 다른 차원의 문제야.

2. 장이탕 이전: 수학자들의 2천 년 삽질 연대기 ⛏️

장이탕의 돌파가 왜 대단한지 알려면, 그 전에 수학자들이 어디까지 왔었는지 알아야 해. 핵심 개념은 "소수 간격(prime gap)"이야. 이웃한 소수 p_n과 p_n+1의 차이를 말하지. 쌍둥이 소수 추측은 이렇게 쓸 수 있어.

"liminf"는 쉽게 말해 '끝없이 반복해서 나타나는 가장 작은 값'이야. 간격이 2인 경우가 무한히 많다면 이 값이 2가 되는 거지. 그런데 장이탕 전까지 인류는 이 값이 유한한지조차 몰랐어. 간격이 무한히 벌어져 버릴 가능성을 배제하지 못했던 거야.

브룬의 반전 결과 🎢

1919년 노르웨이 수학자 브룬은 흥미로운 걸 보였어. 모든 소수의 역수 합(1/2 + 1/3 + 1/5 + 1/7 + …)은 무한대로 발산하거든(오일러가 증명). 그런데 쌍둥이 소수만 골라서 역수를 더하면 유한한 값으로 수렴해. 즉 쌍둥이 소수는 일반 소수보다 "확실히 훨씬 드물다"는 뜻이야. 아쉽게도 이 결과로는 쌍둥이 소수가 무한한지 유한한지 결론이 안 나와. 유한 개여도 합은 당연히 유한하고, 무한 개여도 충분히 드물면 합이 유한할 수 있으니까.

그래도 브룬이 개발한 '체 방법'은 이후 100년간 이 분야의 주력 무기가 돼. 이름 그대로 고대 '에라토스테네스의 체'를 정교하게 발전시킨 거야.

GPY: 한 걸음 직전까지 간 3인방

2005년, 골드스턴(Daniel Goldston), 핀츠(János Pintz), 일디림(Cem Yıldırım) 세 사람이 엄청난 결과를 냈어. 소수 간격이 "평균 간격 ln p의 아무리 작은 비율"보다 작은 경우가 무한히 많다는 것.

대단하지? 그런데 여기엔 결정적인 함정이 있었어. 비율은 0으로 가도, 실제 간격 자체는 여전히 무한대로 커질 수 있었거든. 그리고 GPY는 이런 말을 남겼지. "소수가 등차수열 속에 얼마나 고르게 분포하는지를 조금만 더 잘 알 수 있다면, 유한한 간격을 얻을 수 있다."

이 '조금만 더'가 바로 수학자들이 수십 년간 넘지 못한 벽, "레벨 1/2의 장벽"이었어. 여기서 장이탕이 등장해.

3. 주인공 등장: 서브웨이 회계사였던 수학자 🥪

장이탕의 인생 이야기는 진짜 영화 같아. 근데 과장 없이 사실만 짚어볼게.

퍼듀 시절 박사 논문 주제는 '야코비안 추측'과 관련된 대수학 문제였어. 그런데 지도교수와의 관계가 좋지 않았고, 추천서를 제대로 받지 못한 게 취업에 큰 타격이 됐다고 본인이 여러 인터뷰에서 말했어. 결국 정규 학계에 자리 잡지 못하고 친구 가게 일을 돕거나 회계 업무를 하는 시간을 보내게 되지.

그 시절에도 그는 수학을 놓지 않았어. 도서관에서 혼자 정수론 논문을 읽으며 공부했고, 동료였던 수학자들의 도움으로 1999년 UNH 강사 자리를 얻어. 강의를 하면서 논문은 거의 내지 않았어. 2001년에 하나 낸 이후 오랫동안 조용했지. 그러니까 세계 학계 입장에선 진짜 '무명'이었던 거야.

논문은 2013년 4월 17일, 수학계 최고 권위 학술지 중 하나인 Annals of Mathematics에 투고됐어. 제목은 "Bounded gaps between primes". 무명 저자의 엄청난 주장이니 심사위원들이 의심부터 하는 게 정상이잖아? 그런데 심사위원들은 몇 주 만에 "이건 맞다"는 결론을 내렸어. 이 저널로선 이례적으로 빠른 속도였지. 심사 보고서에는 "최상급의 결과"라는 극찬이 담겼다고 알려져 있어. 논문은 2014년 5월호(179권 3호, 1121–1174쪽)에 정식 게재됐어.

4. 핵심 결과: 7,000만이라는 숫자의 의미 🎯

이게 장이탕 정리야. 말로 풀면, 차이가 7,000만보다 작은 소수 쌍이 무한히 많다.

"아니 2랑 7,000만은 하늘과 땅 차이 아냐?" 맞아. 근데 생각해봐. 그 전까지는 "어떤 고정된 숫자"로도 막을 수가 없었어. 수학적으로 '무한'과 '유한' 사이의 간극은 '7,000만'과 '2' 사이의 간극보다 훨씬, 훨씬 커. 천장이 없던 방에 처음으로 천장이 생긴 거야. 천장 높이를 낮추는 건 그다음 문제고.

실제로 장이탕 본인도 7,000만을 최적화하려고 애쓰지 않았어. 증명이 확실하게 성립하는 넉넉한 숫자를 고른 거지. 그래서 발표 직후 수학자들이 "이거 훨씬 줄일 수 있겠는데?" 하고 달려들게 돼.

5. 증명은 어떻게 작동할까? (최대한 친절 버전) 🔍

여기서부터가 '어려운 수학'의 본진이야. 전부 엄밀하게 따라가려면 해석적 정수론 대학원 과정이 필요하지만, 뼈대는 충분히 이해할 수 있어. 같이 가보자!

① 아이디어: 소수를 '무리로' 잡아라

쌍둥이 소수를 직접 잡으려 하지 말고, 이렇게 생각해 보는 거야. 정수 n을 하나 고르고 n+h₁, n+h₂, …, n+h_k 같은 숫자 k개짜리 묶음을 만들어. 이 묶음 안에 소수가 최소 두 개 들어 있는 n이 무한히 많다면? 그 두 소수의 차이는 묶음의 폭(h_k − h₁)보다 작잖아. 짠, 유한한 간격 완성!

물론 묶음을 아무렇게나 고르면 안 돼. 예를 들어 {n, n+1}은 둘 중 하나가 짝수라서 둘 다 소수인 건 n=2일 때뿐이야. {n, n+2, n+4}는 항상 하나가 3의 배수야(그래서 3, 5, 7 이후로는 '소수 세쌍둥이' 형태가 불가능). 이런 '필연적인 방해'가 없는 묶음을 허용 가능한 집합(admissible set)이라고 불러.

② 무기: 가중치를 준 '체(sieve)'

이제 n들에 가중치(weight)를 매겨. "이 묶음은 소수를 많이 품고 있을 것 같아" 싶은 n에는 큰 점수, 아닌 n에는 작은 점수를 주는 식이야. 그리고 두 가지 합을 비교해.

만약 S₂ > S₁임을 보이면, 평균적으로 묶음 하나에 소수가 1개보다 많이 들어 있다는 뜻이 되고, 따라서 소수가 최소 2개 들어간 n이 존재해. 이걸 N을 키워 가며 계속 보이면 무한히 많다는 결론까지 가는 거야. 이게 GPY 방법의 핵심 구조야.

③ 장벽: 소수는 '등차수열 속에서' 고르게 퍼져 있을까?

S₂를 계산하려면 소수가 각 등차수열 속에 얼마나 고르게 분포하는지를 정밀하게 알아야 해. 예를 들어 4로 나눈 나머지가 1인 소수(5, 13, 17, …)와 3인 소수(3, 7, 11, …)는 장기적으로 거의 반반이야. 이렇게 법(modulus) q로 나눈 나머지별로 소수가 공평하게 나뉜다는 것, 이걸 다양한 q에 대해 '평균적으로' 보장해 주는 게 봄비에리–비노그라도프 정리야.

이 정리는 법 q가 대략 x^1/2(x의 제곱근)까지일 때 평균적으로 오차가 작다고 보장해 줘. 이 1/2을 '분포 수준(level of distribution)' θ라고 해.

보이지? GPY는 1/2에서 아주 조금, 털끝만큼만 더 나아가면 된다고 했는데, 아무도 그 '털끝'을 넘지 못했어. 1980년대에 봄비에리, 프리들랜더, 이와니에츠가 특정 조건 아래서 1/2을 넘는 결과를 얻긴 했는데, GPY에 필요한 형태와 맞지 않았지. 그래서 많은 전문가들이 "이 경로로는 막혔다"고 보고 있었어.

④ 장이탕의 묘수: 모든 q가 아니라 '매끄러운 q'만!

장이탕이 한 일의 핵심은 이거야. "모든 법 q에 대해 1/2을 넘을 필요는 없다. 작은 소인수로만 이루어진 '매끄러운(smooth)' q에 대해서만 넘으면 된다."

GPY 체에서 실제로 쓰이는 법 q들은 작은 소수들의 곱인 경우로 제한해도 충분했거든. 그리고 매끄러운 수는 잘게 쪼갤 수 있다는 큰 장점이 있어. q = r × s처럼 원하는 크기로 쪼개면, 오차항을 분석할 때 훨씬 유연한 기술을 쓸 수 있지. 이렇게 해서 장이탕은 매끄러운 법에 대해 분포 수준을

까지 끌어올렸어. 1/584! 정말 '털끝'만큼이지? 근데 그 털끝이면 충분했어. 이걸 GPY 체에 꽂으면, k = 3,500,000개짜리 허용 가능한 묶음을 쓸 수 있게 되고, 그 폭이 7,000만 미만이 되는 거야.

⑤ 기술적 심장부: 클루스터만 합과 들리뉴의 정리

털끝을 넘기 위해 장이탕은 오차항을 여러 종류로 쪼갠 뒤, 가장 어려운 부분을 지수합(exponential sum), 특히 클루스터만 합(Kloosterman sum) 형태의 합으로 바꿔 추정했어. 여기서 피에르 들리뉴(Pierre Deligne)가 1974년 증명한 베유 추측, 즉 유한체 위의 대수기하학에서 나온 매우 강력한 결과가 동원돼. 들리뉴는 이 업적으로 1978년 필즈상을 받았지.

즉 장이탕의 증명은 "소수 분포라는 해석학 문제"를 "유한체 위의 기하학 문제"로 연결해서 해결의 실마리를 얻은 거야. 수학의 서로 다른 대륙을 잇는 다리를 놓은 셈이지. 그리고 이 도구들 자체는 대부분 이미 알려진 것이었어. 장이탕의 천재성은 그걸 어떻게 조립하느냐에 있었던 거야.

6. 그 다음 벌어진 일: 수학계의 '숫자 깎기' 대회 🏁

장이탕 논문이 공개되자 수학계에 진짜 축제가 열렸어. "7,000만을 얼마나 줄일 수 있을까?" 이 질문에 전 세계가 달려들었지. 그 중심에 필즈상 수상자 테렌스 타오(Terence Tao)가 제안한 온라인 공동 연구 프로젝트 Polymath8이 있었어.

Polymath8a는 장이탕의 방법을 정교하게 다듬어 몇 단계에 걸쳐 숫자를 깎았어. 허용 가능한 집합을 더 촘촘하게 찾는 컴퓨터 탐색, 지수합 추정 개선, 분포 수준 상향 등 다양한 방향이 동시에 진행됐지. 그렇게 해서 2013년 여름에서 가을 사이 상한은 4,680까지 내려갔어.

메이나드의 신의 한 수 ⚡

그런데 2013년 11월, 또 다른 반전이 터져. 당시 몬트리올 대학교 박사후연구원이던 젊은 수학자 제임스 메이나드(James Maynard)가 완전히 다른 접근으로 간격 ≤ 600을 증명한 거야. 그리고 놀랍게도 타오도 거의 같은 시기에 독립적으로 비슷한 아이디어에 도달해 있었어.

메이나드의 핵심은 GPY 체의 가중치를 다차원으로 확장한 것이었어. 기존엔 묶음 전체를 하나의 덩어리로 보고 가중치를 줬는데, 메이나드는 각 원소 n+h_i를 따로따로 고려하는 더 유연한 가중치를 설계했지. 그 결과가 정말 충격적이었어.

그 뒤 Polymath8b가 메이나드–타오 방법을 다듬어 2014년에 최종적으로 246에 도달했어. 이게 지금까지(2024년 기준으로 널리 인정되는) 무조건적 최고 기록이야.

(그래프는 로그 눈금이라 실제로는 훨씬 더 극적인 하락이야. 7,000만에서 246이면 약 28만 분의 1로 줄어든 거거든!)

7. 그럼 2까지는 왜 못 가? 🧱

"246까지 왔으면 2도 금방 아냐?" 아쉽지만 아니야. 여기에 체 방법의 근본적 한계가 있어.

실제로 Polymath8b 연구에서는, 엘리엇–할버스탐 추측의 일반화 버전을 가정해도 현재 체 방법으로는 간격 6이 한계임이 지적됐어. 쌍둥이 소수(간격 2)에 도달하려면 패리티 장벽을 넘는 완전히 새로운 아이디어가 필요하다는 게 학계의 공통된 시각이야.

8. 장이탕 이후의 장이탕 🌏

이 증명 하나로 장이탕의 인생은 완전히 바뀌었어.

또 하나의 큰 영예는 메이나드 쪽이야. 제임스 메이나드는 2022년 필즈상을 받았는데, 수상 업적에 바로 이 소수 간격 연구가 포함돼 있어. 장이탕이 연 문을 통해 다음 세대가 걸어 들어간 거지. 그리고 장이탕 자신의 이야기는 2015년 다큐멘터리 영화 Counting from Infinity로도 만들어졌어.

9. 이 이야기가 우리에게 주는 것 ✨

장이탕의 이야기가 이렇게 사람들 마음을 울리는 데엔 이유가 있어. 대부분의 수학적 대발견은 20~30대에 나온다는 통념이 있잖아? 그런데 그는 50대 후반에, 그것도 연구 실적 압박 없는 '무명 강사' 신분에서, 수십 년을 묵묵히 같은 문제와 씨름하다가 해냈어.

또 하나 기억할 점. 장이탕의 돌파 이후 Polymath 공동 연구, 메이나드와 타오의 독립 발견까지, 결과가 몇 달 만에 폭발적으로 개선된 건 한 사람의 돌파구가 공동체 전체의 에너지를 깨운 사례야. 혼자 깊게 파는 힘과 함께 나누는 힘, 둘 다 필요하다는 걸 보여줬지. 자기만의 재능을 갈고닦아 세상과 나누는 재능넷의 사람들처럼 말이야.

참고 자료 📚

• Yitang Zhang, "Bounded gaps between primes", Annals of Mathematics 179(3), 2014 — https://annals.math.princeton.edu/2014/179-3/p07
• James Maynard, "Small gaps between primes", Annals of Mathematics 181(1), 2015 — https://annals.math.princeton.edu/2015/181-1/p07
• D.H.J. Polymath, "Variants of the Selberg sieve, and bounded intervals containing many primes", Research in the Mathematical Sciences, 2014 — https://arxiv.org/abs/1407.4897
• Polymath8 프로젝트 위키 — https://asone.ai/polymath/index.php?title=Bounded_gaps_between_primes
• Quanta Magazine, "Unheralded Mathematician Bridges the Prime Gap" (2013) — https://www.quantamagazine.org/yitang-zhang-proves-landmark-theorem-in-distribution-of-prime-numbers-20130519/
• International Mathematical Union, Fields Medal 2022 (James Maynard) — https://www.mathunion.org/imu-awards/fields-medal/fields-medals-2022