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

RUN-013

RUN-013 — Round A-U.1: the no-go holds, and the datum it says is missing is measurable