Twin Primes

Primes are the atoms of arithmetic: numbers like 2, 3, 5, 7, 11 that no smaller pair multiplies to make. Scan the list and you keep spotting pairs that sit just two apart — 3 and 5, 11 and 13, 17 and 19, 29 and 31. These are the twin primes.

As you climb into larger numbers, primes spread out and twins become rarer. Yet they refuse to vanish: computers have found twin pairs with hundreds of thousands of digits. So a child's question hangs in the air — do the twins go on forever, or does the last pair eventually arrive?

That question, the Twin Prime Conjecture, has stood unsolved since at least the 1800s. It is short enough to explain to anyone and hard enough to defeat every mathematician who has tried.

Pick a starting point and let the hunter scan upward for primes p whose partner p + 2 is also prime. Each twin pair it finds is highlighted; the counter shows how dense they are in that stretch.

<p class="hint">{{hint}}</p>
<div class="controls">
  <label>{{label_start}} <input id="start" type="number" min="1" value="1"></label>
  <button id="hunt" type="button">{{btn_hunt}}</button>
  <button id="reset" type="button" class="ghost">{{btn_reset}}</button>
</div>
<div class="status" id="status">{{status_initial}}</div>
<div id="pairs" class="pairs"></div>

* { box-sizing: border-box; }
body { font-family: system-ui, sans-serif; color: #222; margin: 0; }
.hint { font-size: .9rem; color: #444; margin: 0 0 .7rem; line-height: 1.45; }
.controls { display: flex; gap: .5rem; align-items: center; flex-wrap: wrap; margin: .4rem 0; }
label { font-size: .9rem; color: #1d3557; }
input { width: 7rem; font: 600 14px system-ui, sans-serif; padding: .35rem .5rem;
        border: 1px solid #cdd9e3; border-radius: 7px; }
button { font: 600 14px system-ui, sans-serif; padding: .45rem .9rem; border: 1px solid #1d3557;
         background: #1d3557; color: #fff; border-radius: 8px; cursor: pointer; }
button.ghost { background: #fff; color: #1d3557; }
.status { font-size: 1rem; font-weight: 600; margin: .6rem 0; min-height: 1.4em; color: #0a7d33; }
.pairs { display: flex; flex-wrap: wrap; gap: .35rem; margin-top: .5rem; }
.pair { background: #e8eef3; color: #1d3557; border: 1px solid #cdd9e3; border-radius: 999px;
        padding: .2rem .6rem; font: 600 13px ui-monospace, monospace; }
.pair b { color: #c92f3c; }

// Code not found

Notice two things at once. The twins thin out — higher ranges hold fewer of them per thousand numbers. And yet they keep appearing, range after range, with no sign of a final pair. That is exactly the tension the conjecture lives in: the evidence screams "infinitely many," but evidence is not a proof.

How hard is this, really? Not finding twins — proving they never run out.

• The status is OPEN. No one has proved, or disproved, that there are infinitely many twin primes. It remains a conjecture, not a theorem.
• Checking is easy; proving "forever" is not. Testing whether a specific pair are twins is fast. But "infinitely many" is a statement about all numbers at once, and no amount of computer search can settle it.
• The 2013 breakthrough. Yitang Zhang proved that there are infinitely many pairs of primes that differ by at most 70 million. It was the first time anyone pinned the gap to a finite bound — a colossal step toward the gap of exactly 2.
• Down to 246. A burst of work by James Maynard and the collaborative Polymath project drove that bound down dramatically, to a gap of at most 246. Under widely believed (but unproven) assumptions, the methods reach a gap of 6 — still not 2.

So we now know primes crowd together infinitely often. Closing the final distance from 246 to 2 is the wall that still stands, and it touches the same questions about structure and randomness in the primes that drive the Riemann hypothesis.

A question about pairs of numbers sounds like pure play, but the machinery behind it reaches surprisingly far:

• Sieve theory: the tools Zhang and Maynard sharpened are the same ones used to estimate how many primes lie in any region — central to analytic number theory.
• Cryptography: systems like RSA depend on finding huge primes quickly, which rests on understanding how often primes occur and how far apart they sit.
• Random vs. structured: the twins probe whether primes behave like a "random" sprinkle of numbers or hide deeper structure — the heart of the Riemann hypothesis.
• Computational mathematics: distributed twin-prime searches stress-test the very algorithms, like the sieve in the demo, that decide primality at scale.

Understanding gaps between primes is really understanding the primes themselves — and the primes underpin almost everything we do with numbers, including the hard problems behind P vs NP.

Twin primes are the friendliest unsolved problem in mathematics: anyone can find a few, anyone can ask whether they ever stop, and nobody can yet answer. They thin out as the numbers grow, yet keep surfacing, range after range, just as in the hunter above.

Zhang's 2013 result and the dash to a gap of 246 show how close we have come — finite gaps, infinitely often — without quite reaching 2. Until that last step is taken, the twins remain a reminder that in the world of P vs NP and beyond, some of the simplest questions are the ones we understand the least.