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 ...