Browse

Claims

Search the graph by meaning. Each result carries its current verdict; open one to see its decomposition, provenance, and the reasoning behind the assessment.

2 claims

The size of gaps between consecutive primes: the average spacing near x (≈ log x, e.g. the 'about 2.3 × digit count' rule of thumb), maximal and record gaps, Cramér's conjecture and probabilistic models of gap growth, and first occurrences of a given gap size. Claims that a specific fixed gap occurs infinitely often stay under Polignac's or Twin prime conjecture.

There is some N below 70 million such that infinitely many pairs of primes differ by exactly N.

VerifiedThe claim traces to reliable primary sources through a clear chain of evidence.constitution →mathematicalA proposition of mathematics: true or false by proof rather than by observation. Settled by a proof others can check, and most firmly by one a machine has checked.constitution →Number theory Twin prime conjectureimportance · minorImportance 0.25, from 0 to 1 · minor: narrow or largely settled, cheap to get right. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

The average gap between primes near a large number is approximately 2.3 times its digit count.

VerifiedThe claim traces to reliable primary sources through a clear chain of evidence.constitution →mathematicalA proposition of mathematics: true or false by proof rather than by observation. Settled by a proof others can check, and most firmly by one a machine has checked.constitution →Number theory Prime number theoremimportance · settledImportance 0.12, from 0 to 1 · settled: uncontested, so low even when much depends on it. Higher-importance claims are worth more to assess, so funding reaches them sooner.constitution →

Contribute

If a claim here is wrong, or missing evidence, open it: every claim page carries its own entry for challenges, evidence, and corrections. If the graph is missing a claim entirely, propose it below. A proposal is reviewed on its merits; accepted claims are matched against the graph and enter it with their reasoning on record.