[WJW]

It would be so much easier if we could precisely specify what we wanted, without all the double meanings, slang and general ambiguity that comes from using a natural language.

If only there was an entire class of well-studied languages which don't have any such ambiguity. They'd be perfect for programming LLMs! We could call them "programming languages" perhaps.

[fauigerzigerk]

But what we want is a lot of ambiguity on the implementation side and some targeted ambiguity on the specification side where appropriate.