> I'm going to be the nerd that points out that it has not been mathematically proven that pi contains every substring
Fascinating. Do you know if this has been proven about any interesting number (that wasn't explicitly constructed to make this true)?