At this point yes. But the goal of "automatic programming" against a formal specification has a long history. It does not seem impossible to me that, in the fut

At this point yes. But the goal of "automatic programming" against a formal specification has a long history. It does not seem impossible to me that, in the future, programming becomes closer to prompting + formal specification. Then the prompt can be compiled and validated against the spec.