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

RUN-022

RUN-022 — Hard-Zeta A-U.2e.1: the round holds, and the two things worth saying are about what a check is allowed to count as evidence