When you do the math, humans still rule

Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, conducting encyclopedic surveys of academic literature, and even finding solutions to some longstanding research questions. Yet these systems largely remain unable to match top experts in the conceptual frontiers of research math. Have reports of AI replacing mathematicians been greatly exaggerated?