When you do the math, humans still rule

Artificial intelligence has attained an impressive series of feats—solving problems from the International Math Olympiad, ...