Human mathematicians are being outdone by counterexamples. Automated systems generate counterexamples faster and more efficiently. Mathematicians struggle to keep pace with automated counterexample generation.