현재까지 알려진 가장 큰 쌍둥이 소수 쌍은 무엇인가요?

2026년 기준, 알려진 가장 큰 쌍둥이 소수 쌍은 2996863034895 곱하기 2의 1290000승 플러스 마이너스 1이며, 두 숫자 모두 388,342자리에 달합니다. 이는 2016년 PrimeGrid에 의해 발견되었으며 현재까지 기록으로 남아 있습니다.

쌍둥이 소수에 대한 하디-리틀우드 추측은 무엇인가요?

제1차 하디-리틀우드 추측은 N까지의 쌍둥이 소수 쌍의 개수가 대략 2 곱하기 C_2 곱하기 2에서 N까지 ln x의 제곱 분의 1의 적분값과 같을 것이라고 예측합니다. 여기서 C_2는 쌍둥이 소수 상수로 약 0.6601618입니다. 이 예측은 N의 값이 커질수록 점점 더 정확해집니다.

모든 쌍둥이 소수는 일정한 패턴을 따르나요?

네. (3, 5)를 제외한 모든 쌍둥이 소수 쌍은 어떤 양의 정수 k에 대해 (6k - 1, 6k + 1)의 형태를 가집니다. 이는 6k ± 1 형태가 아닌 모든 정수는 2 또는 3으로 나누어떨어지므로 (2와 3 자신을 제외하고) 소수가 될 수 없기 때문입니다.

이 도구는 쌍둥이 소수를 어떻게 찾나요?

이 도구는 에라토스테네스의 체를 사용하여 선택한 제한 범위까지의 모든 소수를 표시한 다음, 연속된 소수를 스캔하여 차이가 정확히 2인 쌍을 찾습니다. 결과는 총계, 구간별 밀도 통계 및 비교를 위한 하디-리틀우드 예측값과 함께 나열됩니다.

쌍둥이 소수 찾기

선택한 범위 내의 모든 쌍둥이 소수 쌍(소수 p와 p+2)을 찾아보세요. 전체 목록, 합계, 구간별 밀도, Hardy-Littlewood 예측값, 가장 큰 소수 쌍, 대화형 시각화 자료를 한곳에서 확인할 수 있습니다.

쌍둥이 소수 찾기

Embed 쌍둥이 소수 찾기 Widget

쌍둥이 소수 찾기 정보

쌍둥이 소수 찾기 도구에 오신 것을 환영합니다. 이 대화형 수학 도구는 사용자가 선택한 상한선 아래의 모든 쌍둥이 소수 쌍을 발견합니다. (3, 5), (11, 13), 또는 (10,006,427, 10,006,429)와 같이 정확히 2만큼 차이 나는 소수 쌍인 쌍둥이 소수는 수론에서 가장 신비로운 대상 중 하나입니다. 이 도구는 단순히 목록을 나열하는 데 그치지 않고, 총계, 구간별 밀도, 소수 중 쌍둥이 소수가 차지하는 비중, 간격 통계, 하디-리틀우드 예측값, 그리고 수직선 상의 시각적 분포까지 제공합니다.

쌍둥이 소수란 무엇인가요?

쌍둥이 소수 쌍은 간격이 1인 유일한 쌍 (2, 3)을 제외하고 가능한 최소 간격으로 떨어진 소수 쌍 $(p, p+2)$를 말합니다. 처음 몇 개의 쌍은 다음과 같습니다:

(3, 5), (5, 7), (11, 13), (17, 19), (29, 31), (41, 43), (59, 61), (71, 73), …

숫자 5는 두 쌍에 동시에 참여합니다. (3, 5)의 큰 수이자 (5, 7)의 작은 수입니다. 이는 임의의 연속된 세 홀수 중 하나는 항상 3으로 나누어떨어진다는 사실로 인해, 두 개의 쌍둥이 쌍에 속하는 소수는 5가 유일합니다.

쌍둥이 소수 쌍의 정의

$$p \text{ 와 } p+2 \text{ 가 모두 소수이다} \Longleftrightarrow (p, p+2) \text{ 는 쌍둥이 소수 쌍이다}$$

6k ± 1 패턴

$p \geq 5$인 모든 쌍둥이 소수 쌍은 어떤 양의 정수 $k$에 대해 $(6k - 1, 6k + 1)$의 형태를 갖습니다. 이유는 간단합니다. $6k \pm 1$ 형태가 아닌 모든 정수는 2 또는 3으로 나누어떨어지므로 (2와 3 자신을 제외하고) 소수가 될 수 없기 때문입니다. 작은 사례들을 확인해 보겠습니다:

$k=1$: (5, 7) ✓
$k=2$: (11, 13) ✓
$k=3$: (17, 19) ✓
$k=4$: (23, 25) ✕ — 25는 소수가 아님
$k=5$: (29, 31) ✓

따라서 6k ± 1 형태는 필요조건이지만 충분조건은 아닙니다. 즉, 모든 후보 쌍이 실제로 쌍둥이 소수 쌍인 것은 아닙니다. 이 도구는 체(Sieve) 테이블을 통해 각 후보를 테스트하여 실제 쌍둥이 소수만 추출합니다.

쌍둥이 소수 추측

쌍둥이 소수는 무한히 많을까요? 이것은 수학에서 가장 오래된 미해결 문제 중 하나인 유명한 쌍둥이 소수 추측입니다. 이 추측은 소수가 무한히 많다는 것을 증명한 고대 그리스 수학자 유클리드 시대까지 거슬러 올라가지만, 그는 쌍둥이 소수에 대해서는 언급하지 않았습니다.

이 추측은 널리 사실로 믿어지고 있습니다. 수치적 증거는 압도적입니다. 한계값 $N$이 커짐에 따라 새로운 쌍둥이 소수 쌍이 이론적 예측과 매우 밀접하게 일치하는 밀도로 계속 나타납니다. 하지만 이를 엄밀하게 증명하는 것은 여전히 매우 어려운 과제로 남아 있습니다.

2013년 장이탕의 돌파구

2013년 4월, 중국계 미국인 수학자 장이탕(Yitang Zhang)은 차이가 최대 7,000만 이하인 소수 쌍이 무한히 많다는 것을 증명하는 논문을 발표하여 수학계를 놀라게 했습니다. 이는 연속된 소수 사이의 간격에 대해 증명된 최초의 유한한 상한선이었습니다. 몇 달 만에 테렌스 타오(Terence Tao)가 이끄는 Polymath 협력 연구팀은 이 상한선을 몇 백 수준으로 줄였으며, 이후 제임스 메이너드(James Maynard)가 246까지 낮췄습니다. 간격 2에 대한 쌍둥이 소수 추측 자체는 아직 해결되지 않았지만, 장이탕의 결과는 2,000년 만에 이 문제에 대한 최초의 실질적인 돌파구를 마련한 것으로 평가받습니다.

하디-리틀우드 예측

1923년, G. H. 하디와 J. E. 리틀우드는 제1차 하디-리틀우드 추측을 공식화했습니다. $N$까지의 쌍둥이 소수 쌍의 개수 $\pi_2(N)$은 점근적으로 다음과 같습니다.

하디-리틀우드 추측

$$\pi_2(N) \sim 2 C_2 \int_2^N \frac{dx}{(\ln x)^2}$$

여기서 $C_2 = \prod_{p \geq 3} \frac{p(p-2)}{(p-1)^2} \approx 0.6601618$ 은 쌍둥이 소수 상수입니다.

이 도구는 심슨 공식(Simpson's rule)을 사용하여 수치적으로 적분값을 계산하고, 실제 개수를 예측값 및 정확도 백분율과 함께 보여줍니다. $N \geq 10^6$일 때 하디-리틀우드 공식은 일반적으로 실제 개수의 1% 오차 이내로 일치하며, 이는 이 추측이 쌍둥이 소수의 실제 밀도를 정확히 파악하고 있다는 강력한 수치적 증거가 됩니다.

이 계산기 사용 방법

상한선 입력 — 검색할 최대값을 입력합니다. 5부터 10,000,000까지의 값이 허용됩니다.
"쌍둥이 소수 찾기" 클릭 — 체(Sieve)가 소수 표를 생성하고, 쌍을 스캔하며 통계를 계산합니다.
총계 배너 확인 — 발견된 개수와 하디-리틀우드 정확도를 확인합니다.
전체 목록 탐색 — 쌍 목록, 구간별 밀도 차트, 그리고 수직선 상에 쌍들이 어디에 위치하는지 보여주는 산점도를 확인합니다.
목록 복사 — 연구, 숙제 또는 추가 분석을 위해 클릭 한 번으로 쌍 목록을 클립보드에 복사할 수 있습니다.

작동 원리 (에라토스테네스의 체)

이 도구는 내부적으로 고전적인 에라토스테네스의 체 알고리즘을 사용합니다.

처음에 모든 항목이 True인 불리언 배열 is_prime[0..N]을 생성합니다 (인덱스 0과 1 제외).
2부터 $\sqrt{N}$까지의 각 $i$에 대해, is_prime[i]가 True이면 그 배수인 $i^2, i^2+i, i^2+2i, \ldots$를 합성수로 표시(False)합니다.
3부터 N-2까지 배열을 훑으며 is_prime[p]와 is_prime[p+2]가 모두 True인 모든 인덱스 $p$를 수집합니다.

이 접근 방식은 $O(N \log \log N)$ 시간 복잡도와 $O(N)$ 메모리를 사용하며, 현대 하드웨어에서 1,000만까지의 모든 쌍둥이 소수 쌍을 1초 미만에 찾을 수 있을 만큼 빠릅니다.

알려진 가장 큰 쌍둥이 소수

컴퓨터는 수십 년 동안 거대한 쌍둥이 소수를 찾아왔습니다. 2016년 9월 PrimeGrid 분산 컴퓨팅 프로젝트에 의해 발견된 현재의 기록 보유자는 다음과 같습니다.

알려진 가장 큰 쌍둥이 소수 쌍 (2026년 기준)

$$2{,}996{,}863{,}034{,}895 \times 2^{1{,}290{,}000} \pm 1$$

두 숫자 모두 388,342자리에 달합니다. Tom Greer와 PrimeGrid에 의해 발견되었습니다.

비교를 위해, 처음 50개의 쌍둥이 소수 쌍은 모두 2,000 이하에 분포합니다. 쌍둥이 소수의 밀도는 점차 낮아지지만, 수십만 자리에 이르는 큰 숫자 범위에서도 계속해서 나타나고 있습니다.

처음 20개의 쌍둥이 소수 쌍

번호	p	p + 2	k (6k ± 1 기준)
1	3	5	— (특수 사례)
2	5	7	1
3	11	13	2
4	17	19	3
5	29	31	5
6	41	43	7
7	59	61	10
8	71	73	12
9	101	103	17
10	107	109	18
11	137	139	23
12	149	151	25
13	179	181	30
14	191	193	32
15	197	199	33
16	227	229	38
17	239	241	40
18	269	271	45
19	281	283	47
20	311	313	52

다양한 N까지의 쌍둥이 소수 개수

N	π₂(N) — 실제 개수	하디-리틀우드 예측	정확도
100	8	14	57%
1,000	35	46	76%
10,000	205	214	96%
100,000	1,224	1,249	98%
1,000,000	8,169	8,248	99%
10,000,000	58,980	58,754	99.6%
100,000,000	440,312	440,367	99.99%

쌍둥이 소수에 관한 재미있는 사실들

$p \geq 5$인 모든 쌍둥이 소수 쌍 $(p, p+2)$은 $p+1$이 항상 6의 배수라는 성질을 가집니다. 즉, 각 쌍의 중간값은 항상 6으로 나누어떨어집니다.
쌍둥이 소수 상수 $C_2 \approx 0.6601618$은 해석적 수론에서 가장 유명한 상수 중 하나입니다. 이는 모든 소수 $p \geq 3$에 대해 $p(p-2)/(p-1)^2$을 곱한 값과 같습니다.
사촌 소수(Cousin prime) 쌍은 차이가 4인 $(p, p+4)$를 말합니다. 섹시 소수(Sexy prime) 쌍은 라틴어로 6을 뜻하는 "sex"에서 유래하여 차이가 6인 $(p, p+6)$을 말합니다.
모든 쌍둥이 소수의 역수의 합은 브룬 상수 $B_2 \approx 1.9021605$로 수렴합니다. 이는 1919년 비고 브룬(Viggo Brun)에 의해 증명되었으며, 모든 소수의 역수의 합이 발산한다는 점을 고려하면 매우 놀라운 결과입니다.
2024년 인텔 연구소의 텐서 분해 과정에서 수론적 시퀀스 모델을 학습시키던 중 우연히 쌍둥이 소수 패턴을 발견했습니다. 이는 이러한 패턴이 여전히 연구자들에게 놀라움을 선사하고 있음을 보여줍니다.