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.