Almost every real number is normal, but we still can’t prove it for π, e, or √2.
I wrote about why that isn’t a contradiction and what "normal" actually means.
twopi.dev/2026/the-num...
twopi.dev
The numbers that contain everything | TwoPi
Almost all real numbers are normal, meaning every digit and every finite digit string appears with exactly the frequency you'd expect. Yet we can't prove normality for almost any specific number we ca...