Keeping up with machines: Artificial intelligence in math