p is "known" by the mathematical community. As of 2011, p is the largest natural number such that (a) we know p is prime and (b) we know a polynomial-time algorithm to enumerate the digits in the decimal expansion of p.