Related to the earlier discussion:

https://news.ycombinator.com/item?id=48902814

See also

Zhihu (Chinese Reddit): https://www.zhihu.com/question/2060133066643879544/answer/20...

Reddit: https://www.reddit.com/r/math/comments/1urv4id/comment/oxak6...