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

RUN-051

RUN-051 — Hard-Zeta A-U.2d.23: a sharpening confirmed on last round's own data, and a theorem with no counter