Have reports of AI replacing mathematicians been greatly exaggerated?
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…









