AI找Bug的"幻覺"問題，Mozilla聲稱解決了。5月7日，Mozilla工程師發(fā)布博文，披露使用Anthropic最強(qiáng)模型Claude Mythos排查火狐Firefox瀏覽器漏洞的幕后細(xì)節(jié)。上月，該團(tuán)隊(duì)已在Firefox 150版本中發(fā)現(xiàn)并修復(fù)271個(gè)漏洞，其中180個(gè)為高危級(jí)別——意味著用戶正常瀏覽網(wǎng)頁(yè)就可能觸發(fā)，另有80個(gè)中危、11個(gè)低危。

外界質(zhì)疑這是AI炒作。Mozilla的回應(yīng)是直接公開12份完整的Bugzilla報(bào)告。工程師Brian Grinstead表示，經(jīng)過雙重驗(yàn)證，最終產(chǎn)出的漏洞報(bào)告幾乎沒有誤報(bào)，"問題存在，修復(fù)完成，測(cè)試用例入庫(kù)后不會(huì)復(fù)現(xiàn)"。

核心突破在于一套名為Agent Harness的定制化智能體套件。此前讓AI分析代碼的痛點(diǎn)是：產(chǎn)出大量看似合理實(shí)則虛構(gòu)的報(bào)告，人工復(fù)核成本極高。這次Mozilla做了兩件事——模型自身能力提升，加上這套專屬工具鏈。

具體流程上，套件向Mythos下達(dá)指令如"在這個(gè)文件中找Bug"，提供讀寫文件、評(píng)估測(cè)試用例等工具，循環(huán)運(yùn)行直至任務(wù)完成。模型自主構(gòu)造測(cè)試用例，生成特定HTML代碼，調(diào)用現(xiàn)有模糊測(cè)試工具運(yùn)行。若觸發(fā)內(nèi)存崩潰，則判定找到漏洞。

誤報(bào)過濾是第二道關(guān)卡。Mozilla引入第二個(gè)大模型對(duì)首個(gè)模型的輸出打分，高分報(bào)告才交付開發(fā)者。Grinstead強(qiáng)調(diào)，這套雙重驗(yàn)證機(jī)制讓工程師拿到的是"明確的確認(rèn)信號(hào)"，而非需要大量人力篩選的疑似清單。

這271個(gè)漏洞的分布頗具警示意義：三分之二以上為高危，說明AI在真實(shí)攻擊面挖掘上確實(shí)觸及了傳統(tǒng)手段可能遺漏的盲區(qū)。但Mozilla也坦承，方法的有效性高度依賴模型能力與定制工具的結(jié)合，并非開箱即用。