Cambridge scientists have developed an artificially intelligent algorithm capable of beating scientists at predicting how and when different materials form ice crystals.