Some numbers, however shaky, that AI-written code is secure.

It could become that way, but thus far no evidence has been presented for it. The best we have right now is that you can spend $20 in tokens to write a patch and then $20K to find a vulnerability in it. First, that's not measuring the same thing. Second, it's not very impressive.

50 years is a long, long time, so I wouldn't bet against it. But I agree that we don't have evidence for it yet.