I do think that the problem with Bracha saying the AI will compose things is that as Big Dave Thomas once said: "It's important to be able to debug at the level

I do think that the problem with Bracha saying the AI will compose things is that as Big Dave Thomas once said: "It's important to be able to debug at the level of the abstraction". I'm not sure that even with automatically tested code and even some proof we will ever get away from the need to debug. Dave Thomas was talking about model generated code and models were a much more precise starting point than the prose we input to an AI.