[CamperBob2]

Seems like all you needed to prove the general case is Goedelian incompleteness. As with incompleteness, entropy-based arguments may never actually interfere with getting work done in the real world with real AI tools.