Human mathematicians are being outcounterexampled — PLINKFEED