I think they must have commented on the wrong article by mistake. The "Gaussian Correlation Inequality" was recently proved, and discussed in this thread: https

I think they must have commented on the wrong article by mistake. The "Gaussian Correlation Inequality" was recently proved, and discussed in this thread: https://news.ycombinator.com/item?id=13977554 https://news.ycombinator.com/item?id=13977554