The result was announced some 6 years ago, and there was a long discussion about it here: https://news.ycombinator.com/item?id=1587340
It was submitted again three years ago with another lengthy discussion: https://news.ycombinator.com/item?id=7374994
The other submissions had no discussion:
https://news.ycombinator.com/item?id=3921215 (1689 days ago)
https://news.ycombinator.com/item?id=1606717 (2315 days ago)