Hi,
I think there is proof pi is a normal number based on tests I did with it.
I hypothesise (based on testing to 60million digits of pi) that the vast majority of any block of 80,000 digits selected from within pi will not be normal, ie there will be an unequal distribution of digits
0 to 9 within each of the 80,000 digit blocks. However since larger block sizes, ie 10million digits, are shown to approach equal digit distribution, this means that the digit 0 to 9 distribution in each of the 80,000 digit blocks must be random, otherwise when the 80,000 digit blocks are added together they would not create a larger sequence that approaches a normal number, unless there was a very apparent order (lack of randomness to the digits in a comparison of the 80,000 digit blocks) which is not apparent.
summary: If the lack of normalcy in the 80,000 digit blocks is random then the full sequence of pi is a normal number, and if the lack of normalcy in the 80,000 digit blocks is not random, then there would be an easily seen pattern in pi that is already shown to not exist.
cheers, Jamie