Is AlphaZero actually machine learning, if there is no data, or the data is entirely synthetic? If so, we must admit that deterministic automated proof search is machine learning. Shannon's and Kolmogorov's accounts of information leave us stranded. Finzi et al. propose to resolve our confusion.