I am not familiar with Wolfram's style, but there seemed to be an unsatisfying lack of Alex Smith, but lots of Me, NKS, and PCE, in that post. The headline deserves note because the proof is by a 20-yo but the post doesn't do him justice.

Interesting nevertheless and I hope to get to read more news about the author.