Statistics
Zeros in view:-
Mean spacing:-
Min spacing:-
Montgomery (1973): Pair correlation of zeros matches GUE.
GUE spacing: p(s) = (π/2)s·exp(−πs²/4)
Odlyzko (1987): Numerical confirmation to enormous precision.
The zeros seem to repel each other — just like random matrix eigenvalues.