[raverbashing]

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)