{"id":"palomar/PALOMAR-2026-10-28-000002","url":"https://github.com/sthubbar/goldbach-lean/tree/e5e1b8a514d1bc5cd4f2b3f8a3c05b250a54e611/entries/goldbachintervalsrh445","json":"https://data.palomar-registry.org/entries/PALOMAR-2026-10-28-000002-v1.json","repo":"https://github.com/sthubbar/goldbach-lean","tags":["math.NT","msc:11P32","msc:11M26","msc:11N05"],"score":0,"title":"CONDITIONAL on RH and cited zero counts: Goldbach numbers in intervals of length 4.45 log^2 x","trust":"high","domain":"math.NT","source":"palomar","authors":["Steve Hubbard"],"reviews":0,"subject":"math.NT","summary":"CONDITIONAL. A Lean 4 proof that, under the Riemann Hypothesis, for every real x at least 3 there is a Goldbach number n, a sum of two odd primes, with x < n < x + 4.45 (log x)^2. This improves the constant 123 of A. Chirre and M. V. Hagen, On Goldbach numbers in short intervals, arXiv 2512.23534, by their method. RH is the paper's own hypothesis. The theorem is CONDITIONAL ON seven cited inputs taken as explicit hypotheses, never as axioms, all stated for gZ, the ordinates of the nontrivial zeros of the Riemann zeta function counted with multiplicity: ExplicitA, the truncated explicit…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"verified":true,"discussed":0,"published":"2026-10-28","reactions":{},"formalized":true,"formalizes":[{"title":"Goldbach numbers in intervals of length 4.45 log^2 x under the Riemann Hypothesis","identifier":"aiXiv.online 2610.02672","relationship":"formalizes"},{"title":"On Goldbach numbers in short intervals","identifier":"arXiv:2512.23534","relationship":"adapts"}]}