LLMs can only statistically predict logic, rather than run and validate logic.

Statistically predicted logic tends to converge on correct logic through lots of examples.