Artificial intelligence has bested humans at problem-solving challenges like chess and Go. Is mathematics research next?