The problem with "find bugs" is that the ai has to know what the program ought to do, what the desired result is.

I'd love to see a future in which we specify the constraints and the ai writes the code to fulfill them.

No it doesn't. There are plenty of bugs that are obvious from the context. Copy and paste errors in particular.

Obviously it will work better if there's descriptions of what the code is supposed to do (as this blog post shows!) but that's true for humans too.

I'm definitely going to try this on my code.

That is a possible positive outlook. Let me add some "spice" to it: AI ads. Companies making these tools and having the resources to train the models inject ads into the outputs, so that your generated code subtly contains ads or produces ads on user's screen.