7월 6일에 태어난 수학자 콜라츠가 낸 문제

"규칙은 단 두 줄뿐입니다.
짝수는 2로 나누고,
홀수는 3을 곱해 1을 더합니다.
그렇다면 어떤 수에서 시작하든 결국 1에 도달할까요?"

로타어 콜라츠(Lothar Collatz, 1910~1990)는 독일의 수학자로, 미분방정식과 수치해석 분야에서 많은 업적을 남겼다. 하지만 그의 이름을 세계적으로 유명하게 만든 것은 단 하나의 문제, 바로 콜라츠 추측(Collatz Conjecture)이다. 이 문제는 규칙이 너무 단순해서 초등학생도 이해할 수 있지만, 오늘날까지도 누구도 완전한 증명을 찾지 못한 미해결 문제로 남아 있다.

콜라츠는 1910년 7월 6일 독일에서 태어나 Berlin Technical University(현 Technical University of Berlin)에서 공부했다. 이후 여러 대학에서 교수로 재직하며 수치해석, 선형대수, 최적화 분야를 연구했다. 컴퓨터가 널리 보급되기 이전부터 계산을 효율적으로 수행하는 수학적 방법을 연구한 선구자 가운데 한 명으로 평가받는다.

그러나 그를 가장 유명하게 만든 것은 1937년에 제안한 것으로 알려진 콜라츠 추측이다. 규칙은 매우 간단하다.

• 어떤 양의 정수를 하나 선택한다.
• 짝수이면 2로 나눈다.
• 홀수이면 3을 곱한 뒤 1을 더한다.
• 이 과정을 계속 반복한다.

예를 들어 6에서 시작하면

6 → 3 → 10 → 5 → 16 → 8 → 4 → 2 → 1

이 되고, 11에서 시작하면

11 → 34 → 17 → 52 → 26 → 13 → 40 → 20 → 10 → 5 → 16 → 8 → 4 → 2 → 1

처럼 결국 1에 도달한다.

콜라츠는 "모든 양의 정수는 이 과정을 반복하면 반드시 1에 도달한다."고 추측했다. 지금까지 컴퓨터를 이용한 계산에서는 엄청나게 큰 수까지 이 명제가 성립하는 것이 확인되었지만, 모든 양의 정수에 대해 항상 성립한다는 일반적인 증명도, 반례도 아직 발견되지 않았다.

이 문제는 여러 이름으로도 불린다.

• 3n+1 문제
• 우박(Hailstone) 문제
• 시라쿠스(Syracuse) 문제

'우박 문제'라는 이름은 수열이 커졌다 작아졌다를 반복하는 모습이 하늘에서 떨어지는 우박의 움직임과 닮았기 때문에 붙여졌다.

콜라츠 추측이 특별한 이유는 문제를 이해하는 데는 1분도 걸리지 않지만, 해결하는 데는 세계 최고의 수학자들도 실패하고 있다는 점이다. 수학에서는 이를 "설명은 쉽지만 증명은 매우 어려운 문제"의 대표적인 예로 꼽는다. 실제로 이 문제를 연구하면서 수론, 동역학, 확률론, 컴퓨터 계산 등 다양한 분야의 새로운 아이디어가 등장했다.

이 간단한 질문이 90년 가까이 전 세계 수학자들을 고민하게 만들고 있다는 사실은, 수학의 아름다움과 깊이를 잘 보여 주는 사례라고 할 수 있다.

2026년 현재 이 문제에 대한 연구 현황을 정리하면 다음과 같다.

 1. 여전히 '미해결' 상태
콜라츠 추측은 현대 수학에서 가장 이해하기 쉽지만, 동시에 증명하기 가장 어려운 문제 중 하나로 꼽힌다. 수많은 아마추어와 전문 수학자들이 매년 증명을 시도하며 다양한 논문을 발표하고 있으나, **수학계에서 공인된 일반적인 증명은 존재하지 않는다.** 2026년에도 arXiv나 Zenodo 등 프리프린트 서버에 수많은 '증명' 논문이 올라오고 있지만, 이들은 대개 결정적인 논리적 결함을 가지고 있거나 특정 가정(예: 강성 가설 등)을 전제로 한 조건부 결과에 그치고 있다.

2. 테렌스 타오(Terence Tao)의 접근
2019년 필즈상 수상자 테렌스 타오가 발표한 연구가 여전히 이 분야에서 가장 중요한 성과로 거론된다. 타오는 **"거의 모든(almost all) 수가 결국 1에 가까워진다"**는 점을 통계적·확률적으로 증명했다. 이는 '모든 수'가 1이 된다는 최종 단계에 도달하기 위한 핵심적인 진전으로 평가받지만, '거의 모든'과 '모든' 사이의 간극을 메우는 것은 여전히 난제로 남아 있다.

3. 최근 연구의 흐름 (2026년 기준)
최근 연구들은 크게 세 가지 방향으로 나뉜다.
 * **구조적 분석:** 콜라츠 맵을 동역학적 관점이 아닌, 정수론적 구조나 그래프 이론(Canonical Triple-Graph 등)으로 접근하여 '동역학적 혼돈'을 제거하려는 시도가 이어지고 있다.
 * **조건부 증명:** 특정 가설(예: 강성 가설, Rigidity Hypothesis)을 세우고, 이 가설이 참이라면 콜라츠 추측이 증명된다는 형태의 논문이 다수 제출되고 있다. 하지만 핵심 가설 자체를 증명하지 못해 반쪽짜리 연구라는 한계가 있다.
 * **수치 해석 및 통계적 접근:** 고성능 컴퓨팅 환경을 활용하여 매우 큰 수까지는 참임을 지속적으로 확인하고, 이를 통해 규칙성을 찾으려는 노력이 계속되고 있다.

4. 수학계의 시각
전문가들은 콜라츠 추측이 단순히 기존의 정수론 기법만으로는 풀기 어려운 문제라고 입을 모은다. 이 문제는 수의 동역학, 확률론, 해석적 정수론 등이 뒤섞여 있어 기존의 틀을 깨는 완전히 새로운 수학적 아이디어가 필요할 것으로 보고 있다. 일각에서는 "콜라츠 추측은 수학의 단순한 규칙 뒤에 숨겨진 인간 논리의 한계를 시험하는 문제"라며 그 도발적인 매력을 설명하기도 한다.

2026년 현재 콜라츠 추측은 **여전히 수학적 정복을 기다리는 '풀리지 않은 산'**이다. 올해도 많은 연구자가 새로운 증명 프레임워크를 제시하고 있으나, 학계의 검증을 통과한 완벽한 증명은 아직 등장하지 않았다.