Andrew already opened up about using LLMs for finding bugs but it will be done after they covered all other bug finding methods. This opening up came from what the sqlite guys presented about using LLMs for finding bugs and the zig compiler team hinted at following the same bug squashing route that the sqlite guys followed.

It's was in a presentation given at the tigerbeetle guys event.