Mozilla最近干了一件讓安全圈坐不住的事。他們用Anthropic的Claude Mythos Preview掃描Firefox 150，一口氣找出271個未知漏洞，其中最老的已經(jīng)潛伏了20年。整個四月，Mozilla修復(fù)的安全問題達(dá)到423個，而上個月的記錄還是76個。三倍多的差距，主要來自這套新玩法。

這事兒的轉(zhuǎn)折點在"agentic"——也就是讓AI自己動起來。以前用GPT-4和Claude Sonnet 3.5做代碼分析，基本是只讀模式，結(jié)果假陽性太多，開發(fā)者疲于奔命。Mozilla的解法是給AI配了執(zhí)行環(huán)境：懷疑有bug？自己寫測試用例，自己跑，驗證完再報。這套自驗證機制把"聽起來像漏洞"和"真的是漏洞"分開了。

具體怎么搭的？Mozilla從Claude Opus 4.6開始，先小范圍人工監(jiān)督，然后橫向擴展到一堆虛擬機，每臺盯一個文件并行查。上層建了流水線：去重、定優(yōu)先級、跟蹤修復(fù)直到發(fā)版。二月Anthropic的Frontier Red Team先給Mozilla報過一批漏洞，雙方合作直接催生了現(xiàn)在這套系統(tǒng)。

為了證明不是虛張聲勢，Mozilla提前公開了幾個典型病例。HTML的label元素有個15年的老傷，XSLT工具更是追溯到20年前。還有個溢出案例：HTML表格行數(shù)超過65535，內(nèi)部計數(shù)器就崩了。連RLBox——Mozilla給第三方庫加的額外沙箱——都被繞過去了。

但AI也不是萬能的。幾次針對Prototype Pollution的攻擊嘗試都失敗了，不是因為模型不行，而是Mozilla多年前的一個架構(gòu)決策剛好堵住了這條路。這種"沒打穿"和"打穿了"一樣有信息量，說明模型確實在認(rèn)真試探邊界，而不是照本宣科。

接下來Mozilla打算把這套流水線接進(jìn)CI/CD，每個新代碼提交自動過一遍。從"AI生成的漏洞報告=垃圾"到"四月修了423個bug"，中間只隔了幾個月。模型能力在漲，配套工程也在漲，兩者缺一不可。