World Cup predictions: How many games did our AI get right?