> there is nothing unusual or scandalous about these finds

I would not go so far. I just mentioned in a separate comment, a minute before writing this here, that it is rather outrageous that the premier language for AI these days (aka Rust), has not used AI to find these bugs before. Would you not also consider that it should follow from simple logic that a language that is the premier AI language now, also would use AI as it preaches for it, to find bugs?

I’m having a hard time understanding you here. Are you saying that since rust is a good language for AI to write code in, it says something about the (lack of) power of AI, that it wasn’t what found the bug? Because the logic there seems twisted: “F1 drivers, the biggest users of F1 cars, almost never make improvements to F1 engines”.

Are you paddling some? I’ve never seen rust described as premier language for AI