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

RUN-043

RUN-043 — Hard-Zeta A-U.2d.15: an inequality that needs no premise, and a checker report that publishes both its honest zeros and their vacuous twins