@arroz Well put. Ambiguity is a well studied topic in the context of compilers. You won't want your code generator to be able to interpret a construct in a dozen different ways. Natural language is nothing but ambiguous.
"Then we'll constraint it accordingly". First, there are even many context free languages for which the elimination of ambiguity is impossible, and the ones for which is possible relies on typical well known techniques for them. At that point you just "innovating" by reinventing regular languages and context free languages.
Furthermore, are gcc or any compiler in llvm part of taking water from the mouths of mexican families? Does ghc put a huge amount of stress in the electrical grid of Ireland? Will a LLM generate code as correct as CompCert? Are rustc or sbcl part of an abject bubble that likely will have catastrophic effects on the economy?