The Hardin-Taylor theorem is a mathematical result that claims to offer a strategy for predicting the future values of any function, given only its past values. The strategy draws on the axiom of choice, a foundational but controversial principle in mathematics, and its appeal lies in the bold suggestion that you can forecast an arbitrary, completely unconstrained process just by observing its history. The theorem guarantees that the set of times when the predictor gets it wrong is mathematically "small" in a specific technical sense, which sounds like a powerful promise.
However, the paper identifies a critical distinction between how the predictor operates and how its success is verified. The predictor works in real time, using only past observations to make each forecast. But the guarantee about when it succeeds or fails can only be checked after the entire future history of the function is already known. In other words, you cannot know ahead of time whether any particular prediction is reliable; you can only look back afterward and confirm that the failure points were few. This makes the guarantee "offline" or retrospective, even though the predictor itself runs "online."
The authors argue that this distinction fundamentally limits how the theorem should be interpreted. When evaluated properly in a probabilistic framework, the predictor does not perform meaningfully better than chance as a genuine forecasting tool. The theorem is better understood as a statement about the mathematical structure of prediction errors rather than a practical or even theoretically compelling method for foretelling the future. The impressive-sounding result, on closer inspection, offers no prospective reassurance that any given prediction is trustworthy.