A better title than previous, not sure I agree though. Not that I don’t think it wouldn’t improve memory safety. It is that LLMs can keep finding bugs on even a clean code base practically forever. Yeah they may not be critical bugs like those which are technically correct but makes you roll your eyes like you would on an intern that is trying a bit too much to impress. Infact if you incentivise the LLM enough, it will likely produce fake bugs. So better memory safety won’t stop some people dumping pages of LLM bug reports.