A formal, uncomputable method for optimal sequence prediction: weight every program consistent with the data by 2^-length and mix their next-symbol predictions.
Continue to AI University →