> What about fuzzers, linters, typecheckers and formal tooling?

Pretty sure Chrome has been using all of those forever, along with some of the best security researchers in the world, yet AI (which is what GP really means by “machine” here) is finding way more bugs. I think GP’s point is that AI makes some people uncomfortable because it operates more like a human than a special purpose tool.

As for lack of information, I’m curious what you’d be interested in seeing. More information about the kinds of bugs it found perhaps?

Here is a nice report about tooling

https://cacm.acm.org/research/lessons-from-building-static-a...

This is the kind of report that you can reflect upon and learn from instead of feeling like you’ve just read a marketing piece.