[imtringued]

Whenever you poke people about LLMs solving decidable/computable problems, they get defensive and claim that they are not good for that. You are supposed to generate code that solves the decidable problem, heavily implying that retrieval, approximation and translation are the only true capabilities of LLMs.

[phyalow]

Thats true, for OpenAI's/FAIR's LLM's sure... Claude Opus or Sonnet 3.5? Not in my experience...