Comment by ThrowawayR2

Greg Kroah-Hartman from the Linux kernel team said recently in a talk (https://www.youtube.com/watch?v=_MwMLPmMccs) running open models locally is already good enough for finding Linux kernel bugs and generating patches to fix them. He said that the false positive rate he's encountering was only one third to one quarter IIRC. He doesn't provide any details but it didn't sound like he was running some kind of huge server or something either, just a desktop workstation of some sort.