Google hadn’t just won a medal at the International Mathematics Olympiad, but it’s also making a version of the the model ...