This post proves an interesting theory though: even the most random thing can get traction on HN as long as it mentions AI.
Thank you for the comment, "typical crackpot" feels a bit light considering how unhinged that is.
I had already just about dismissed HN as a place for any serious discussion of AI for a multitude of reasons. After seeing this I think I will be hammering in the final nail.
It has already been known for decades that arbitrarily precise approximations of mathematical formulations of AGI are computable. I was expecting nothing less than a refutation of that work from this based on the title. Unfortunately the first page alone makes it apparent that it is not, nor likely even a serious work of mathematics.