Sounds really interesting, very much new way of thinking. AI can ask questions to resolve ambiguities (sometimes might not matter - prototypes, and let it make best guess). Sounds a little bit like declarative programming. Spec is in a way also a test (is the button really red if it was specified red. What is red (should it be really red, or just a little bit). A lot of interesting challenges, but sounds really what could be helpful in the future.

I'm one of the authors of this post. Happy to answer any question that you might have.