← AMRAL · BSD Conjecture · Layer 2 · Recomputation · RUN-004

RUN-004

RUN-004 — 40,749 discriminants recomputed from scratch, and one check that could not have failed