Problems/Twin Prime Conjecture
OpenMathematics

Are there infinitely many prime pairs such as 11 and 13, or 29 and 31?

Twin Prime Conjecture

Mathematicians now know that some fixed finite gap between consecutive primes occurs infinitely often. The best unconditional published bound is 246, but proving that the recurring gap can be exactly 2 remains open.

01

The question

Understand it in two minutes

Mathematicians now know that some fixed finite gap between consecutive primes occurs infinitely often. The best unconditional published bound is 246, but proving that the recurring gap can be exactly 2 remains open.

Prime numbers become less frequent, but they keep showing local clusters. Zhang proved that infinitely many consecutive prime pairs are separated by less than a fixed large number. Maynard and the Polymath project developed stronger methods and reduced explicit bounds. The remaining target is exact: replace a finite upper bound such as 246 with the specific value 2.

01 · Step 1

Find a close pair

Examples include 3 and 5, 11 and 13, and 29 and 31.

02 · Step 2

Watch primes become sparser

Average prime gaps grow, so an infinite supply of exact gap-2 pairs is far from automatic.

03 · Step 3

Separate bounded gaps from twin gaps

A theorem guaranteeing infinitely many gaps no larger than 246 is major progress, but it does not identify gap 2.

Why people care

Fine prime structure

The conjecture probes correlations that are much subtler than the average distribution of primes.

Reusable sieve methods

The bounded-gap program created and sharpened techniques that apply to wider questions about prime constellations.

Open collaboration

The Polymath project demonstrated how distributed mathematical collaboration can improve explicit bounds.

02

Possibilities

What it could unlock

What might become possible?

These are evidence-labeled possibilities, not predictions.

AI for MathematicsStrongly supported

Theorem Dependency Intelligence

A machine-readable graph showing which theorems, algorithms and claims depend on open conjectures, assumptions or formal lemmas.

Why it connects: Bounded-gap results must be distinguished from the exact twin-prime target.

See the possibility →
Scientific ComputingStrongly supported

Reproducible Counterexample Search Infrastructure

Run large mathematical searches with deterministic jobs, auditable provenance and independently checkable output certificates.

Why it connects: Computation supports sieve optimization and prime-pattern exploration without proving the universal theorem.

See the possibility →
AI for MathematicsStrongly supported

Formal Mathematics Benchmarking

Evaluate proof agents on source-linked research statements, known partial results, false-proof traps and machine-checkable subgoals.

Why it connects: Twin primes combine an open target with well-defined bounded-gap milestones.

See the possibility →
03

Ideas

Ideas it inspires

What could someone explore today?

Idea seeds for curiosity—not instructions or promises.

Researchers, formal-math teams, technical publishers and AI labsStrongly supported

Theorem Dependency Auditor

Extract and review explicit dependency edges such as “assuming RH,” “uses bounded gaps,” or “requires this lemma,” with citations and review states.

Why it is thinkable now

Yes, with AI-assisted extraction plus expert or community correction.

Computational mathematicians and open-science communitiesStrongly supported

Reproducible Counterexample Lab

Package finite mathematical searches as deterministic jobs with exact versions, logs, checkpoints and independently checkable certificates.

Why it is thinkable now

Yes; Collatz and zeta-zero verification provide concrete starting examples.

AI-math labs, proof-assistant teams and research evaluatorsStrongly supported

Formal Proof-Agent Benchmark

A graded benchmark of formal statements, known lemmas, finite certificates, dependency retrieval and adversarial false-proof traps.

Why it is thinkable now

Yes, using existing Lean repositories and source-backed partial results.

04

Keep in mind

The honest boundary

Sieve methods can force closeness without isolating the exact two-prime pattern

Current techniques can prove that several primes appear in bounded intervals, but the parity barrier and limits on prime-distribution estimates prevent them from guaranteeing p and p+2 are both prime infinitely often.
What we know

Infinitely recurring bounded gaps exist: Zhang proved that infinitely many consecutive prime pairs have a gap below a fixed absolute bound. The explicit bound was greatly improved: The collaborative Polymath8b project proved the unconditional bound H₁ ≤ 246. Methods extend to many primes in bounded intervals: Maynard developed a multidimensional sieve yielding bounded intervals containing arbitrarily many primes.

Latest meaningful signal

Maynard’s sieve proves bounded intervals with many primes

A new multidimensional sieve gives a flexible route to finding several primes inside bounded intervals.

Sources behind this explanation 7