Such numbers are called "normal numbers". Pi likely is one based on all the digits we've computed for it, but we don't have any way to prove a given number like

Such numbers are called "normal numbers". Pi likely is one based on all the digits we've computed for it, but we don't have any way to prove a given number like pi is normal or not. Relevant Numberphile video: https://www.youtube.com/watch?v=5TkIe60y2GI https://www.youtube.com/watch?v=5TkIe60y2GI