4=2+2, 6=3+3, 8=3+5, 10=3+7 또는 5+5입니다. 이런 예를 계속 계산하면 모든 짝수가 두 소수의 합으로 보입니다. ‘2보다 큰 모든 짝수는 두 소수의 합으로 표현된다’는 명제가 오늘날 강한 골드바흐 추측 또는 이항 골드바흐 추측이라고 불리는 문제입니다. 4 이상의 짝수를 E라 할 때 E=p+q인 소수 p,q가 적어도 한 쌍 존재한다는 주장입니다.
수많은 수에서 맞고 큰 범위까지 컴퓨터로 확인됐지만 일반적인 증명은 아직 없습니다. 이 상태를 정확히 이해하는 것이 중요합니다. 특정 상한까지 반례가 없다는 계산 결과는 그 유한한 범위에서는 확정된 사실입니다. 그러나 상한보다 큰 무한히 많은 짝수 전체를 한꺼번에 다루는 증명은 아닙니다.
소수 두 개로 짝수를 만드는 가장 간단한 규칙
소수는 1과 자기 자신만을 양의 약수로 갖는 2 이상의 자연수입니다. 2는 유일한 짝수 소수이고, 나머지 소수는 모두 홀수입니다. 두 홀수의 합은 짝수이므로 큰 짝수를 홀수 소수 두 개의 합으로 나타내려는 시도는 홀짝 규칙에 맞습니다. 다만 홀짝이 맞는다는 사실만으로 두 수가 모두 소수라는 보장은 생기지 않습니다.
| 짝수 E | 골드바흐 분할의 예 | 표현 수에 관한 주의 |
|---|---|---|
| 4 | 2+2 | 순서를 바꾼 것은 같은 쌍 |
| 12 | 5+7 | 한 쌍 이상 존재하면 충분 |
| 20 | 3+17, 7+13 | 여러 표현이 가능 |
| 50 | 3+47, 7+43, 13+37, 19+31 | 표현 수는 짝수마다 다름 |
| 100 | 3+97, 11+89, 17+83, 29+71, 41+59, 47+53 | p≤q만 세면 중복을 피함 |
짝수 E를 검사할 때는 E보다 작은 소수 p를 차례로 고르고 E−p도 소수인지 확인하면 됩니다. p와 E−p의 순서를 같은 것으로 보면 p≤E/2까지만 살펴도 충분합니다. 예를 들어 100에서는 3을 골랐을 때 97도 소수이므로 첫 단계에서 이미 표현 하나를 찾습니다.
1742년 편지에서 시작된 명제
1742년 크리스티안 골드바흐는 레온하르트 오일러에게 보낸 편지에서 1을 소수로 취급하던 당시의 표현으로 소수의 합에 관한 주장을 제안했습니다. 오일러는 이를 ‘모든 짝수는 두 소수의 합’이라는 형태로 바꾸어 적었습니다. 현대 수학에서는 1을 소수로 보지 않으므로 명제는 2보다 큰 모든 짝수에 대해 서술합니다.
역사적 원문과 현대판 문장을 그대로 같다고 쓰면 미묘한 차이가 사라집니다. 소수의 정의가 정착되는 과정에서 표현이 바뀌었지만, 오늘날 골드바흐의 강한 추측이 가리키는 내용은 E=p+q라는 두 소수 합 명제입니다.
강한 추측과 약한 추측은 다릅니다
강한 골드바흐 추측은 모든 짝수 E>2가 두 소수의 합이라는 주장입니다. 약한 골드바흐 추측은 모든 홀수 N>5가 세 홀수 소수의 합이라는 주장입니다. 이름 때문에 약한 추측이 단순한 근삿값처럼 들릴 수 있지만, 둘 다 정수 전체를 다루는 정확한 명제입니다.
약한 추측은 하랄드 헬프고트의 연구로 증명되었습니다. 반면 강한 추측은 여전히 미해결입니다. 약한 추측의 증명이 강한 추측의 증명을 자동으로 주지는 않습니다. 세 소수 합에서 한 소수를 제거해도 남은 두 수가 원하는 짝수를 만들거나 모두 소수라는 보장이 없기 때문입니다.
컴퓨터는 어디까지 확인했나
올리베이라 이 시우바, 헤르초크, 파르디는 동료 심사를 거쳐 2014년 Mathematics of Computation에 실린 논문에서 모든 짝수 E≤4×10^18에 대해 골드바흐 표현이 존재함을 계산으로 확인했다고 보고했습니다. 4×10^18은 4,000,000,000,000,000,000입니다. 이 결과는 해당 범위 안에서는 반례가 없다는 강력하고 구체적인 검증입니다.
연구진은 단순히 짝수마다 처음부터 나눗셈을 반복한 것이 아니라 소수 목록, 구간 분할, 최소 골드바흐 분할과 독립 확인 절차를 활용했습니다. 대규모 계산에서는 알고리즘 오류, 저장 오류와 하드웨어 오류를 통제하는 절차가 중요합니다. 논문에는 검증 방법과 데이터 점검 방식이 함께 기술되어 있습니다.
4×10^18까지 참이어도 증명이 아닌 이유
자연수는 끝이 없습니다. 계산으로 4×10^18까지 확인하면 그다음 짝수부터 무한히 많은 경우가 남습니다. 반례 하나를 발견하면 추측은 즉시 거짓이 되지만, 아무리 많은 사례가 참이어도 모든 경우를 포괄하는 논리가 없으면 일반 정리가 되지 않습니다.
유한 범위 계산 검증: 그 범위의 모든 입력에 대한 확정 결과 / 수학적 증명: 범위 제한 없이 명제가 성립함을 보이는 논리
컴퓨터 검증 자체가 불완전하거나 가치가 낮다는 뜻은 아닙니다. 유한한 구간을 완전히 검사한 결과는 엄밀한 계산 성과입니다. 다만 ‘4×10^18 이하에서 증명됐다’와 ‘모든 짝수에 대해 증명됐다’는 서로 다른 문장입니다. 골드바흐 추측은 후자의 단계에 도달하지 않았습니다.
첸의 정리가 보여 준 큰 진전
천징룬은 충분히 큰 모든 짝수가 소수 하나와 소인수가 최대 두 개인 수 하나의 합으로 표현된다는 정리를 증명했습니다. 두 번째 수는 소수일 수도 있고 두 소수의 곱인 준소수일 수도 있습니다. 보통 ‘소수+준소수’에 가까운 결과로 소개됩니다.
첸의 정리는 강한 골드바흐 추측 그 자체는 아닙니다. p+q에서 q가 반드시 소수여야 하는 조건을, q가 소수이거나 두 소수의 곱일 수 있는 조건으로 완화했기 때문입니다. 그래도 모든 충분히 큰 짝수에 적용되는 증명된 정리라는 점에서 단순한 계산 관찰과는 성격이 다릅니다.
표현의 개수는 왜 대체로 늘어날까
짝수가 커지면 후보 p의 수도 늘어나므로 골드바흐 분할의 개수가 대체로 증가하는 경향을 보입니다. 하디와 리틀우드의 원 방법에서 나온 추측식은 큰 짝수의 표현 수가 소수의 밀도와 E의 소인수 구조에 따라 어떻게 달라질지 예측합니다. 하지만 평균적인 경향이나 매우 정확한 예측식이 각 짝수에 표현이 반드시 하나 이상 있다는 증명을 대신하지는 않습니다.
어떤 짝수는 표현이 많고 어떤 짝수는 상대적으로 적습니다. 3의 배수인지, 작은 소수로 나눈 나머지가 무엇인지에 따라 후보 쌍의 구조도 바뀝니다. 그래프에서 표현 수가 전반적으로 증가해 보여도 모든 지점이 단조롭게 늘어나는 것은 아닙니다.
직접 검사하는 알고리즘
작은 범위에서는 에라토스테네스의 체로 상한까지의 소수를 미리 표시한 뒤 각 짝수 E에 대해 p≤E/2인 소수를 순회하면 됩니다. E−p의 소수 여부를 표에서 즉시 확인할 수 있으므로 매번 소인수분해하는 것보다 효율적입니다. 표현 하나만 찾는다면 첫 성공에서 멈추고, 표현 수를 세려면 끝까지 조사합니다.
- 검사 상한 N까지 에라토스테네스의 체로 소수 여부 표를 만듭니다.
- E=4,6,8,…,N을 차례로 고릅니다.
- 각 E에서 소수 p≤E/2를 순회합니다.
- E−p가 소수이면 골드바흐 분할 하나를 기록합니다.
- 어떤 E에서도 쌍을 찾지 못하면 그 E가 반례 후보이므로 구현과 계산을 독립적으로 다시 확인합니다.
큰 정수에서는 소수 판정과 메모리 배치가 계산량을 좌우합니다. 밀러-라빈 소수 판정법이 큰 홀수를 검사하는 방식은 확률적 소수 판정의 원리를 설명합니다. 다만 대규모 골드바흐 전 구간 검증에는 구간 체와 검증 전용 알고리즘이 더 알맞을 수 있습니다.
자주 나오는 잘못된 주장
- ‘충분히 큰 수에서 소수가 많으므로 반드시 된다’는 설명은 증명이 아닙니다. 평균 밀도만으로 각 짝수의 존재 조건이 보장되지 않습니다.
- 몇 줄짜리 프로그램이 큰 범위를 검사했다고 해서 무한한 범위가 증명되지는 않습니다.
- 약한 골드바흐 추측의 증명은 강한 추측의 증명이 아닙니다.
- 첸의 정리에서 두 번째 항은 반드시 소수가 아니라 소인수가 최대 두 개인 수까지 허용됩니다.
- 2보다 큰 모든 짝수라는 문장에서 4가 첫 검사 대상입니다. 2=1+1은 현대 정의의 소수 합이 아닙니다.
현재 확실히 말할 수 있는 결론
작은 짝수의 골드바흐 분할은 직접 계산할 수 있고, 발표된 대규모 연구는 4×10^18 이하의 모든 짝수에서 표현이 있음을 확인했습니다. 약한 골드바흐 추측은 증명되었고, 첸의 정리를 비롯한 강한 부분 결과도 있습니다. 이것들은 모두 서로 다른 범위와 조건을 가진 사실입니다.
그러나 ‘4 이상의 모든 짝수는 두 소수의 합’이라는 강한 골드바흐 추측에는 아직 일반 증명이 없습니다. 앞으로 증명이 나오거나 반례가 발견되기 전까지는 미해결 추측으로 불러야 합니다. 계산 검증, 부분 정리, 완전한 증명을 구분하면 이 유명한 문제가 어디까지 풀렸는지 정확히 볼 수 있습니다.