Find a close pair
Examples include 3 and 5, 11 and 13, and 29 and 31.
→Are there infinitely many prime pairs such as 11 and 13, or 29 and 31?
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.
The question
Understand it in two minutes
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.
Examples include 3 and 5, 11 and 13, and 29 and 31.
→Average prime gaps grow, so an infinite supply of exact gap-2 pairs is far from automatic.
→A theorem guaranteeing infinitely many gaps no larger than 246 is major progress, but it does not identify gap 2.
The conjecture probes correlations that are much subtler than the average distribution of primes.
The bounded-gap program created and sharpened techniques that apply to wider questions about prime constellations.
The Polymath project demonstrated how distributed mathematical collaboration can improve explicit bounds.
Possibilities
What it could unlock
These are evidence-labeled possibilities, not predictions.
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 →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 →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 →Ideas
Ideas it inspires
Idea seeds for curiosity—not instructions or promises.
Extract and review explicit dependency edges such as “assuming RH,” “uses bounded gaps,” or “requires this lemma,” with citations and review states.
Yes, with AI-assisted extraction plus expert or community correction.
Package finite mathematical searches as deterministic jobs with exact versions, logs, checkpoints and independently checkable certificates.
Yes; Collatz and zeta-zero verification provide concrete starting examples.
A graded benchmark of formal statements, known lemmas, finite certificates, dependency retrieval and adversarial false-proof traps.
Yes, using existing Lean repositories and source-backed partial results.