Human mathematicians are being outcounterexampled (via sanxiyn) — discussion

#math