I agree with your assessment Yes, LLMs are bad at this. A similar example: SAT solvers can't solve the pigeonhole problem without getting into a loop It is an

I agree with your assessment Yes, LLMs are bad at this. A similar example: SAT solvers can't solve the pigeonhole problem without getting into a loop It is an exceptional case that requires "metathinking" maybe, rather than a showstopper issue (can't seem to be able to write the grammar name, the original comment from the discussion had it)