See also the recent discussion of another article about the paper[0]. I'm also predicting this thread will have a meta-discussion about whether mathematics is i

See also the recent discussion of another article about the paper[0]. I'm also predicting this thread will have a meta-discussion about whether mathematics is invented or discovered. [0] https://news.ycombinator.com/item?id=26044640 https://news.ycombinator.com/item?id=26044640