[1718627440]

> Can we formalize that abstraction such that the prompt is an exact specification, just, at a super high level

That's another programming language. And if you think of an even higher level, where you e.g. specify, that you want to get data from a server in a format, and leave it to some other specification how to do that, that is called a program/library. You get that for free from e.g. Github or your OS repos.

[ajkjk]

yes I'm asking for higher-level programming languages. Higher even than anything we have today.

[1718627440]

I don't think we will ever get the one language that just needs one statement to do anything AS of the language specification. If you have something in mind, where the language gets more capable iteratively by their users, then that is already the state now, we just don't name that a language, this is called software repos. The reason this isn't used solely is a) supply chain risk, which you don't care about with LLMs, and b) that the third-party software often slightly differs from what you want, so while you could use third-party software you choose to still write it yourself.