ParentFull threadsnarkconjecture·They got the article from the OP article -- it goes on a diversion into the circle-squaring thing at the end.View on HN