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

RUN-050

RUN-050 — Hard-Zeta A-U.2d.22: the strongest checker of the sweep, and the one claim it leaves out