← AMRAL · Collatz Conjecture · Layer 2 · Recomputation · RUN-039

RUN-039

RUN-039 — Hard-Zeta A-U.2d.11: an exact rational certificate, which is the first headline number in this sweep that could be checked with no reference of my own