A great deal more is known than has been proved.
"The Music of the Primes : Searching to Solve the Greatest Mystery of Mathematics". Book by Marcus du Sautoy, 2003.

A great deal more is known than has been proved.