Montgomery's pair correlation conjecture, published in 1973, asserts that the two-point correlation function for the zeros of the Riemann
zeta function on the critical line
is
As first noted by Dyson, this is precisely the form expected for the pair correlation of random Hermitian matrices (Derbyshire 2004, pp. 287-291).