What might the (normalized) pair correlation function of prime numbers look like? [closed]

prime-numbers number-theory analytic-number-theory

The answer is posted here on MathOverflow.

The purpose of this answer is to redirect others, and also so that the question does not remain "unanswered".

Related

Is there any toy for learning algebraic manipulation of fractions?
Probability of Generating a Connected Graph on the Unit Square
Understanding a proof of Komlós's theorem
Is the composition of blowing-up a blowing-up?
Multivariable calculus: hard problems with solutions
Prove that if $2^n-1$ is prime, then $n$ divides $2^n-2$
Equivalent categories yet not isomorphic
Reference request: Abel or Ruffini's proof of the Abel-Ruffini theorem
solution to $ 7^{a}+1 =3^{b}+5^{c} $ for natural $a$,$b$ and $c$
Show that if f is analytic in $|z|\leq 1$, there must be some positive integer n such that $f(\frac{1}{n})\neq \frac{1}{n+1}$
$f$ continuous iff $\operatorname{graph}(f)$ is compact
Words of Length $n$ over the Alphabet $\{1,2,3\}$ with Certain Restrictions