https://en.wikipedia.org/wiki/Normal_number
Pi is not proven to be normal, but is suspected.
Pi is not proven to be normal, but is suspected.
It might turn out that Pi is not normal say in base 2, but all possible finite sequences of 0s and 1s occur in it, just with some of them being slightly more frequent than others of the same length.