LLMs found 76% of known software flaws in autonomous vehicles; traditional tools found almost none. — Synthesis