I don't see the connection to LLMs. With LLMs, you have a highly non-deterministic system that is also highly probable to be incorrect. It seems like a stretch

I don't see the connection to LLMs. With LLMs, you have a highly non-deterministic system that is also highly probable to be incorrect. It seems like a stretch to say that's what McCarthy was thinking about regarding declarative facts and goals driving a program.