Many thanks to reader Colin White for this:

In her 2005 song “π,” Kate Bush sings the number π to its 78th decimal place, then jumps abruptly to the 101st and finishes at the 137th.

The BBC’s More or Less advanced the “Kate Bush conjecture”: that the digits that Bush sings are contained somewhere in the decimal expansion of π — just not at the start.

The conjecture is true if π turns out to be a “normal” number, meaning essentially that all possible sequences of digits (of a given length) appear equally often in its expansion.

π hasn’t been proven to have this property, though it’s expected to be the case. So, for now, “The Kate Bush conjecture is plausible but unproven.”