"다음 소수는 어디까지 가면 반드시 있는가"를 비행 시뮬레이션으로 탐사하는 인터랙티브 에세이입니다. 창 안에 소수가 없으면 추락하는 비행체를 실제 소수 위에 띄워 놓고, 조종하면서 읽습니다.An interactive essay exploring "how far away can the next prime be?" as a flight simulation — a craft that crashes when its window holds no prime, flying over the real primes while you read.
▶ 소개 영상 (YouTube)▶ Intro video (YouTube) 📄 설계와 실험 보고서📄 Design & Experiment Report
창 [x, x+w] 안에 소수가 하나도 없으면 추락한다. 이 기체는 쌍둥이 소수를 계기로 읽고, 거듭제곱으로 자기 고도를 측정하며, 사막을 만나면 지수 양력으로 살아남는다. 아래 항행일지의 실험 버튼이 이 조종석을 직접 재구성한다.If the window [x, x+w] ever holds no prime, the craft crashes. It reads twin primes as its instruments, measures its own altitude at perfect powers, and survives deserts on exponential lift. The experiment buttons in the flight log below reconfigure this cockpit directly.
소수 q 다음 소수까지의 거리에는 아직 증명된 좁은 한계가 없다. 확률적으로는 간격이 ln²q 규모를 넘지 못한다는 크라메르의 예측이 90년째 유력하지만, 리만 가설을 가정해도 증명은 √q 규모에서 멈춘다. 우리는 이 문제를 비행기로 번역했다: 창 안에 항상 소수가 있도록 고도 w를 조종하는 기체가 영원히 살 수 있는가. 기체의 생존은 간격 상계와 동치가 된다.No proven tight bound exists for the distance from a prime q to the next. Probabilistically, Cramér's 90-year-old prediction says gaps never exceed the ln²q scale — yet even assuming the Riemann Hypothesis, proofs stop at the √q scale. We translated the problem into an aircraft: can a craft that steers its altitude w so the window always contains a prime live forever? The craft's survival becomes equivalent to a gap upper bound.
첫 기체는 단순했다. 창 안의 쌍둥이 소수가 없으면 +2, 하나면 유지, 둘 이상이면 −2. 쌍둥이를 온도계로 쓰는 순간 고도는 저절로 ln²x 스케일에 맞춰진다 — 크라메르의 유도를 기체가 재발견한 셈이다. 그러나 실소수 10⁹까지 날려보면 209,527번 추락한다. 범인은 기록급 사막이 아니라 쌍둥이 밀집 지대: 창이 최솟값까지 붕괴한 직후 평범한 간격에 떨어진다. 수축 속도가 순항 속도와 같아 회복이 지형을 못 따라잡는 구조적 결함이다.The first craft was simple: no twin primes in the window → +2, one → hold, two or more → −2. The moment twins become the thermometer, altitude locks onto the ln²x scale by itself — the craft rediscovering Cramér's heuristic. But fly it through the real primes up to 10⁹ and it crashes 209,527 times. The culprit is not record deserts but twin-dense zones: the window collapses to its minimum, then falls into a perfectly ordinary gap. Contraction speed equals cruise speed — a structural flaw where recovery can never catch the terrain.
성단 센서 — 삼중·사중 소수 성단은 밀집 신호 하나로 접는다. 자기유사 눈 — 거듭제곱 m^k를 만나면 밑을 읽어 w(m^k) = k²·w(m)으로 자기 고도를 측정한다. 로그 계산 없이 스케일을 부트스트랩하는 항법이다. 회귀 바닥 — 측정을 다음 거듭제곱까지 유지되는 바닥으로 기록하되, 현재 고도의 편향을 공제하고 1/8만 반영한다(치유 8세대). 기하 경보 — 창 앞쪽 1/4이 비면 무조건 비상. 소수 배치와 무관하게 유예 3w/8스텝이 보장되는, 통계가 아니라 기하가 주는 경보다. 지수 양력 — 비상 시 w를 1.045배씩 키운다(저고도에서는 최소 +4). 선형 양력의 커버 용량은 유한하지만 지수 양력은 어떤 깊이든 log 시간에 삼킨다.Cluster sensor — prime triplets and quadruplets fold into a single density signal. Self-similar eye — meeting a power m^k, the craft reads the base and measures its own altitude via w(m^k) = k²·w(m): navigation that bootstraps the scale without computing a logarithm. Regression floor — measurements are recorded as a floor that persists until the next power, with the current altitude's bias subtracted and only 1/8 blended in (an eight-generation healing time). Geometric alarm — if the front quarter of the window is empty, emergency, unconditionally. A grace of 3w/8 steps is guaranteed regardless of prime placement — an alarm given by geometry, not statistics. Exponential lift — in an emergency, w grows ×1.045 per step (with a minimum of +4 at low altitude). Linear lift has finite coverage; exponential lift swallows any depth in log time.
바닥 β, 경보 문턱 θ, 양력 상수 c는 독립이 아니다. 활주로 θβ·ln²x/2가 셋이 공유하는 자원이고, 증명된 최대 간격 q0.525를 덮는 조건에서 θ·β·c = 1.05라는 점근 임계곱이 성립한다. 위 다이얼로 β를 낮춰보라 — 살아남으려면 r이 정확히 식만큼 뜨거워져야 한다. 이 곱은 목표 수학의 게이지이기도 하다: 크라메르가 증명되면 ~0, 리만 가설이면 1.0, BHP(점근·문턱 미계산)면 1.05, 문턱 없는 명시적 정리면 1.978.Floor β, alarm threshold θ and lift constant c are not independent. The runway θβ·ln²x/2 is a resource all three share, and covering the proven maximal gap q0.525 forces the asymptotic critical product θ·β·c = 1.05. Try lowering β with the dial above — to survive, r must heat up by exactly what the formula demands. The product is also a gauge of the target mathematics: ~0 if Cramér were proven, 1.0 under the Riemann Hypothesis, 1.05 under BHP (asymptotic, threshold uncomputed), 1.978 under the threshold-free explicit theorem.
| 측정 도구Instrument | 다음 소수 범위Range to next prime | 성격Nature |
|---|---|---|
| 기체 순항 바닥Craft cruise floor | 0.87·ln²q ≈ 1,494 | 통계 측정 (유도값)statistical measurement (derived) |
| 전산 검증 최대 간격 (10¹⁸ 스케일)Largest verified gap (10¹⁸ scale) | 1,476 | 자연의 답nature's answer |
| 기체 보증 엔벨로프 (경제 모드)Craft guarantee envelope (economy) | ≈ 7×10¹³ | 간격 ≤ q0.525 배치 전체 생존survives all placements with gaps ≤ q0.525 |
| 기체 보증 엔벨로프 (무조건 모드)Craft guarantee envelope (unconditional) | ≈ 4×10¹⁹ | 간격 ≤ 90·q89/90 배치 전체 생존; 미계산 상수 없음survives gaps ≤ 90·q89/90; no uncomputed constants |
| 리만 가설Riemann Hypothesis | √q·ln q ≈ 4.1×10¹⁰ | 조건부 증명conditional proof |
| 무조건 증명 (BHP)Unconditional proof (BHP) | q0.525 ≈ 2.8×10⁹ | 현행 수학의 확정 상한current mathematics' firm ceiling |
순항 측정은 리만 가설의 구간보다 2천만 배 타이트하다 — 단 전자는 10¹⁸까지의 통계이고 후자는 모든 q에 대한 보증서다. 반면 보증 엔벨로프는 두 천장을 모두 넘는다. 경제 모드(×1.045)의 보증은 BHP의 미계산 문턱 x₀에 기대지만, 조종석의 r 다이얼을 1.07로 올린 무조건 모드는 문턱 없는 명시적 정리(간격 ≤ 90·q89/90, 모든 q)만으로 전산 검증 상한(≈10²⁰) 위 전 구간을 덮는다 — 상수 하나로 미계산 상수 의존이 사라진다. 그것이 이 설계의 최종 성적표다.The cruise measurement is twenty million times tighter than the Riemann Hypothesis interval — though the former is statistics up to 10¹⁸ and the latter a warranty for every q. The guarantee envelope, meanwhile, clears both ceilings. The economy mode (×1.045) leans on BHP's uncomputed threshold x₀ — but turn the cockpit's r dial to 1.07 and the unconditional mode covers the entire range above the computational ceiling (≈10²⁰) by a threshold-free explicit theorem alone (gap ≤ 90·q89/90, every q) — one constant removes every uncomputed dependence. That is this design's final report card.
여정의 끝에서 모든 상수는 출처를 갖게 됐다. 유도값 셋 — β는 쌍둥이 평형 μ*/(2C₂)에서, θ와 r은 점근 임계곱에서(무조건 모드는 1.978, r = 1.07). 해석 가능한 다이얼 셋 — γ = 1/8(오염 치유율), η = 1/3(측정 위생 여유), 트리거 비율 1/3(바닥의 1/3). 뿌리는 정확히 둘이다: 쌍둥이 소수의 통계와, 해석적 정수론의 최전선인 BHP 지수. 후자가 언젠가 개선되면 이 기체의 비상 다이얼도 함께 내려간다 — 부품 하나가 미해결 문제의 진척도 게이지인 셈이다.At journey's end every constant has a pedigree. Three derived values — β from the twin equilibrium μ*/(2C₂), θ and r from the asymptotic critical product (1.978 and r = 1.07 in the unconditional mode). Three interpretable dials — γ = 1/8 (contamination healing rate), η = 1/3 (measurement hygiene margin), trigger ratio 1/3 (of the floor β). Exactly two roots: the statistics of twin primes, and the BHP exponent at the frontier of analytic number theory. If the latter ever improves, this craft's emergency dials turn down with it — one of its parts is a progress gauge for an open problem.
이 페이지의 시뮬레이터는 보고서의 v4.6 사양을 그대로 구현했으며(기본값은 경제 모드 r=1.045), 브라우저에서 3×10⁷까지의 실제 소수를 체로 걸러 사용한다. 여기 결과는 통계적 관측이지 증명이 아니다 — 밀도 0의 예외를 공집합으로 바꾸는 일은 여전히 증명만이 할 수 있고, 그 벽이 이 이야기의 마지막 문장이다. 전체 설계·유도·실험 기록: 설계와 실험 보고서 (v4.6).The simulator on this page implements the report's v4.6 specification as written (defaulting to economy mode, r = 1.045), sieving real primes up to 3×10⁷ in your browser. What you see here is statistical observation, not proof — turning a density-zero set of exceptions into the empty set is something only proof can do, and that wall is the last sentence of this story. Full design, derivations and experiments: Design & Experiment Report (v4.6).