Disclaimer: I have not read the Wentworth’s post or the linked one but I know (little) about finite-sample and asymptotic bounds.
(He had another few versions, allegedly with fuller proofs, though I was not able to understand them and focused on this one.)
I think the key point of the statement is “any finite-entropy function ”. This makes sure that the “infinity” in the sampling goes away. That being said, it should be possible to extend the proof to non-independent samples, Cosma Shalizi has done a ton of work on this.
I think we ban research on embodied AI and let GPT takeover Metaverse. Win win
Edit: and also nuke underground robot research facilities? Doesn’t seem like a great idea in hindsight