Human mathematicians are being outcounterexampled — Blankdot