Maybe I’m overly annoyable right now but I was unable to find, in the first 20 or so paragraphs of fluff, a statement of what the theorem actually is, and barely a hint of even what field it’s in. Is there a better write up anywhere that actually talks about the math rather than trying to spin it into a soap opera?

Edit: found an explanatory paper on the theorem that appears more technical but still accessible with the right background: https://arxiv.org/abs/1502.05654