Why would AI be competent at finding bugs? Most non-trivial bugs I find are about unexpected interactions between distinct pieces of code. Seems totally unfeasible for a llm to be good at.
It’s not any more of a joke than the hee-haw nonsense that using an LLM to translate working C code into something else will yield a result with fewer bugs.
Thats mostly a joke. But AI-hardened-C seems like it could be much better than current-human-only-C.