The theorem doesn't exist in a vacuum. It talks about objects that must be formally defined. And if that formal definition (which is part of the API) is not immediately compatible with those others use, and every single theorem comes with its own definitions of the objects they're working on, you're going to be reinventing the wheel over and over again.
Replacing thought and curation with repeated automation is tech debt, pushed down to fundamental knowledge and understanding.
All this means in practice is that anyone who wants to use it for ads needs to get in touch with the devs and negotiate another set of licensing terms and an amount...
This author disagrees with this take. They are setting a scene here, and explicitly saying that the Block story wasn't about AI at all a few paragraphs later.
If that "bait" caused you to stop reading despite the fact that you probably agree with the author's sentiment, it's not very good bait.
Pretty sure that's 20% of revenue, and I'm assuming that their business plan relies on skimming from settlements, not just taking donations. But they are also paying investigators and lawyers out of all of that.
And don't forget that Sony and Microsoft have compilers teams, working on specialised GCC and LLVM backends, and sometimes upstreaming general improvements.
Replacing thought and curation with repeated automation is tech debt, pushed down to fundamental knowledge and understanding.