A couple of months ago I put forth Naur's program theory as an argument why LLM's can't replace human developers:
> LLMs as they currently exist cannot master a theory, design, or mental construct because they don't remember beyond their context window. Only humans can can gain and retain program theory.