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

RUN-037

RUN-037 — Hard-Zeta A-U.2d.9: one line of arithmetic closes the previous round's open problem, a theorem whose premise real orbits actually meet, and a rounding chain with four links