A user jokes that AI trained on too many division-by-zero “proofs” · Digg