← AMRAL · BSD 猜想 · 二 · 計算與重現 · RUN-046

RUN-046

RUN-046 — The H2 chain is consistent, and the corpus disagrees with itself about H3