난제 작업실

하나의 난제, 세 번의 몰입

이야기에서 내 추측까지

난제 이야기는 호기심을 여는 입구이고, 난제 작업실은 그 호기심을 검증 가능한 생각으로 발전시키는 다음 장소입니다.

  1. 1 · 발견질문 만나기언제 태어나 왜 아직 사람을 붙잡는지 이야기로 이해합니다.
  2. 2 · 도전한 사례 시험하기그림·계산·색칠로 5분 안에 내 첫 관찰을 만듭니다.
  3. 3 · 발전지금 여기생각 이어 붙이기관찰을 공개하고 다른 시도와 비교해 추측·반례·부분 풀이로 키웁니다.
Week 1 · 고전미해결
1차 출처

콜라츠 추측 — 가장 단순한 미해결

규칙은 간단함 · 문제는 미해결· 제기 1937A006577

문제

양의 정수 nn에 대해 다음을 반복한다:

f(n)={n/2n 짝수3n+1n 홀수f(n) = \begin{cases} n/2 & n \text{ 짝수} \\ 3n+1 & n \text{ 홀수} \end{cases}

임의의 시작 nn에서 출발해도 결국 11에 도달하는가?

왜 흥미로운가

규칙은 초등학생도 1분에 이해한다. 그러나 n=27n=27로 시작하면 9,2329{,}232까지 튀고 111단계를 거쳐 11로 떨어진다. 에르되시는 "수학은 아직 이런 문제에 준비되어 있지 않다 ($100 offer)"고 했다. 작은 규칙에서 폭발적 복잡성 — 콜라츠는 결정론적 동역학계의 카오스 본질을 가장 단순한 형태로 보여준다.

현재까지의 진척

David Barina의 공개 검증 프로젝트는 2025년 1월 모든 n<271n<2^{71}이 1에 도달함을 확인했다. 이는 유한 범위의 계산 결과다. Tao의 2019년 정리는 f(N)→∞f(N)\to\infty인 임의의 함수에 대해, 로그 밀도 의미의 거의 모든 NN의 궤도가 결국 f(N)f(N) 이하에 도달함을 보인다. “거의 모든”·“로그 밀도”·“어떤 느리게 증가하는 경계도”라는 조건이 핵심이며, 모든 정수가 1에 도달한다는 추측은 여전히 미해결이다.

더 읽기

편집부 첫 불씨공개 기여로 세지 않음

27과 31은 다른 수인데, 왜 같은 9,232를 지나갈까?

빈 작업실을 사람 활동처럼 꾸미지 않고, 1분에 시험할 수 있는 콜라츠 두 수의 비교만 출발점으로 놓았습니다.

27과 31 직접 비교하기이 관찰로 추측 시작
  1. 1 · 첫 관찰 읽기

    시작값을 27에서 31로 바꾸자 최고점이 9,232에서 9,232로 변했다.

    두 수에서 본 현상일 뿐, 일반 법칙이나 증명이 아닙니다.

  2. 2 · 같은 상태 직접 만지기

    27과 31의 궤도를 같은 화면에서 확인한 뒤, 시작 수를 하나 바꿔 관찰이 계속되는지 시험해 보세요.

  3. 3 · 내 추측 한 줄 남기기

    계산된 관찰과 재현 URL만 가져옵니다. 추측 문장은 비워 두므로 내 생각은 내가 직접 씁니다.

이 작업실의 큰 질문: 어떤 수로 시작해도 결국 1에 닿을까?

💡 한 줄부터 함께 탐구하기(0건)

참여를 인기 순으로 등급화하지 않습니다. 큐레이터는 무엇이 명료하고 재현 가능한지 말하고, 동료 신호는 누군가 이해했거나 직접 따라 해봤다는 뜻입니다.

실험에서 열린 문제로

이 비교 결과를 추측의 근거로 이어가세요

탐구 질문: 어떤 수로 시작해도 결국 1에 닿을까?

계산된 관찰

시작값을 27에서 31로 바꾸자 최고점이 9,232에서 9,232로 변했다.

같은 실험 상태 열기

무엇을 발견했나요?

완전한 풀이가 아니어도 좋습니다. 작은 관찰 하나가 다음 탐구의 길을 엽니다.

마크다운 + KaTeX 지원 (`$x^2$` 인라인, `$$\sum_{k=1}^n k$$` 디스플레이)
0 / 3000자

모더레이션 정책을 확인해 주세요. 로그인하면 다른 기기에서도 이 시도를 이어서 편집·삭제할 수 있습니다.

불러오는 중…

연결된 개념

  • 콜라츠 추측

    문제 자체를 다루는 개념 — 동역학과 카오스의 가장 단순한 예시

연결된 수학자

  • 폴 에르되시(1913–1996)

    "수학은 아직 이런 문제에 준비되어 있지 않다"며 $100 상금을 건 인물

  • 테렌스 타오(1975–)

    2019년 로그 밀도 의미의 거의 모든 시작값에 대해 궤도 최솟값이 임의의 발산 함수 아래로 내려감을 증명. 모든 궤도의 수렴과는 다르다