[fourthark]

But only if there is a competent compiler engineer running the AI, reviewing specs, and providing decent design goals.

Yes it will be far easier than if they did it without AI, but should we really call it “produced by AI” at that point?

[nvrmnd]

Yes, we will certainly go that way, probably code already added to gcc has been developed through collaborative AI tools. Agree we don't call that "produced by AI".

I think compilers though are a rare case where large scale automated verification is possible. My guess is that starting from gcc, and all existing documentation on compilers, etc. and putting ridiculous amounts of compute into this problem will yield a compiler that significantly improves benchmarks.