Artificial intelligence has moved from checking homework to attacking problems that professional mathematicians once treated ...