← AMRAL · BSD 猜想 · 二 · 計算與重現 · RUN-004

RUN-004

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