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

RUN-023

RUN-023 — Hard-Zeta A-U.2e.2: the round holds, its two headline inequalities turn out to be one inequality, and its Diophantine gate is a partition rather than a choice