Human mathematicians are being outcounterexampled

A blog post from the Xena Project reports that AI systems are now finding counterexamples faster than human mathematicians. The post discusses the implications for mathematical research.