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

RUN-032

RUN-032 — Hard-Zeta A-U.2d.4: the first round in this line whose core holds on orbits that exist, verified in exact integers, and the identity its own checker evaluates in floating point