LLMs can be really good at big patterns now. They have gotten good at detecting bugs in small sections of code, regardless of indentation, style, naming, etc. There were probably tons of missing bounds checks in Firefox.