A retired statistician proved the Gaussian correlation inequality conjecture | Hacker News Reader