Question: is pi normal in base 10?
Answer: While an undergraduate at Cambridge University, D. Champernowne proved that 0.12345678910111213 ... is normal in base 10, but an explicit example of a normal number is still lacking. ... On the other hand, more rigorous definitions of "random" exclude Pi because Pi's decimal expansion is a recursive sequence.