Erdős problem 233 · problems.science

A conjecture by Heath-Brown: The sum of squares of the first $N$ gaps between consecutive primes behaves like $N * (log N)^2$ .

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/233.lean

Formal Conjectures

FormalConjectures/ErdosProblems/233.leanErdos233.erdos_2331 lineExact file

1(fun N => ∑ n ∈ Finset.range N, ↑(primeGap n) ^ 2) =O[Filter.atTop] fun N => ↑N * Real.log ↑N ^ 2

OpenStatement only, no proof

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

AI standalone
Erdős AI contributions wiki · 18 Jan, 2026
Machine
GPT-5.2 Pro
Open the source record