← AMRAL · 考拉茲猜想 · 二 · 計算與重現 · RUN-030

RUN-030

RUN-030 — the New-Chat Handoff: 132 documents reshipped 27 times without a byte of drift, and one lemma compressed into a stronger one than the round proves