Yes
by the time I had a full scan of the source tree, Claude had found every important problem that it reported
sfink on Hacker News
In the thread “Hardening Firefox with Claude Mythos Preview”, replying to this comment
Helped: AI identified vulnerabilities in a gap the static analysis missed.
… Opus or Mythos, I'm not sure which, started reporting vulnerabilities stemming from that case, so I scrambled and extended the analysis to cover the gap. It took me long enough to implement that by the time I had a full scan of the source tree, Claude had found every important problem that it reported. The static analysis found several others, and I still honestly don't know whether any of them could ever be triggered in practice. …