What’s interesting to me is reasoning about the problem and its implementation. And that doesn’t stop at any abstraction level. Reasoning in the small is just as important as reasoning in the large. And the issue with LLMs is that their capacity for sound reasoning is limited. They are sloppy on any level. You can’t get them to be thorough and dependable in reasoning, regardless of the abstraction level.