背景與問題
當工具型大型語言模型代理不再只讀取單一檢索段落,而是透過 Model Context Protocol,也就是讓模型以一致介面呼叫搜尋、資料庫、病歷或帳戶紀錄等外部工具的協定,答案的真確性就不再只是「內容是否看起來有根據」。根據 Hugging Face 上 Multiverse Computing 團隊的文章與其 ProvenanceGuard 論文,MCP 代理可能先叫搜尋工具,再讀結構化病人或帳戶資料,接著查資料庫與中繼資料,最後把多個來源織進同一段回答。這時候,傳統 faithfulness 或一致性檢查常把所有證據倒進同一個池子,只問某個主張是否被任何證據支持;它未必知道該主張究竟由哪個工具輸出支持,更未必知道答案明示或暗示的來源是否就是真正來源。ProvenanceGuard 想處理的缺口正是在這裡:一個敘述可能在池子裡某處為真,卻被歸給錯誤來源,形成文章所稱的 cross-source conflation,也就是跨來源混接。
核心內容
這個失效模式聽起來比幻覺安靜,但在資料敏感場景同樣危險。客服代理若說「根據帳戶紀錄,此方案包含三十天退款期」,退款期也許真的存在,卻是寫在政策文件而非帳戶紀錄;把證據混在一起看,句子像是有根據,把來源拆開看,歸因就是錯的。醫療代理更尖銳:來自病人病史工具的用藥細節,一旦被包裝成醫學文獻發現,事實本身可能不假,臨床意涵卻被錯置。ProvenanceGuard 的定位是生成後驗證層,架在黑箱 MCP 代理之後,不需重訓代理,而是讀取 captured trace,也就是代理執行時留下的工具輸出與 source ID,並讓來源身分一路保留到判決,而不是先熔成匿名上下文。流程可拆成五步:把答案切成具體主張,為每個主張路由到最可能相關的來源,用該來源做支持度判定,再比對實際支持來源與答案指明或暗示的來源,最後輸出逐主張來源判決與整體 allow 或 block。
技術與脈絡解讀
論文評估用的是可控、離線的本地配置:MiniLM 這類句向量模型負責把主張送到相近來源,DeBERTa 的 NLI 模型負責判斷來源是否蘊含該主張,本地語言模型協助把答案拆成主張,另以校準過的決策步驟整合訊號。這裡的 NLI 是自然語言推理,典型三分類是蘊含、矛盾與中立;用在驗證時,重點不是句子通順,而是來源文字是否真的推出該主張。系統也特別盯緊字面數值:數字、日期或識別碼若不在來源中,不能只因語氣合理就過關。被擋下的答案可進入 RARR 風格修復,意指先修訂再查證的迴圈,能做來源接地改寫就走改寫,不能就做安全 fallback,再由驗證器複查。必須分清的是,這些具名模型是實驗配置而非架構硬需求;若團隊改用託管模型,同樣的 claim、source 與 decision 骨架可搬過去,但路由、閾值與校準都要重測。
影響與限制
實驗資料來自一個使用病人紀錄、研究文章與其他工具的醫療代理,共二百八十一條真實 trace;主要人工評測從開發資料外保留四十個答案、三百六十一個主張。專家認為一百三十九個主張不該通過,ProvenanceGuard 抓到一百三十八個,只漏一個;代價是它也攔下六十七個專家認為其實有支持的主張,送去複查或修復,呈現偏保守的資料敏感策略。對可識別來源的主張,它在該測試約八成六挑對來源。與 MiniCheck、RAGAS Faithfulness、AlignScore、SummaC-ZS 同場比較 reject 或 block 的 F1,ProvenanceGuard 為零點八零二,高於 MiniCheck 的零點七八三、RAGAS 的零點七五八、AlignScore 的零點六六二與 SummaC-ZS 的零點四三六;更關鍵的是只有它輸出 claim 到 source ID 的連結,審查者能看見每個主張查的是哪份工具輸出。
更難的壓力切片顯示邊界仍在。面對多個相似來源,阻擋決策 F1 可到零點八四六,但精確指出正確來源只有五成三,代表「知道該不該擋」與「在相似來源間認出正主」是兩回事。受控錯置實驗中,研究者在五十個案例只改答案指名的來源、保留支持證據,ProvenanceGuard 五十個全抓到,說明明確歸因錯誤可被有效偵測;可一旦來源彼此高度相似,路由仍是弱點。修復方面,完整 trace 執行把一百七十三個被擋答案全部收尾,但一百四十四個落到 fallback 而非實質改寫,等於系統寧可不給不可驗證答案,也不硬造答案;重建的多來源測試 trace 上,五十九個起初被擋答案全部解決,只有兩個終端 fallback。離線閘門成本在回報的本地配置約每答案半秒,NLI 與路由呼叫本身是數十毫秒等級,但這是單一設定數字,不能直接外推到雲端模型或更長 trace。
實務意義在於把「grounded」的定義升級。對 MCP 代理來說, grounded 不該只是被任一工具輸出支持,而應是被答案指名或暗示的那個來源支持;這正是作者在公開回覆中確認的標準。NVIDIA NVFlow 已把這種來源感知驗證收成金融代理的可選 grounding-verification 階段,用代理檢索到的 SEC 摘錄核對完成答案並另存判決,不改原始 rollout 或訓練資料;不過修復迴圈屬於較大的研究系統,不宜與 NVFlow 的整合混為一談。 ProvenanceGuard 亦曾以 poster 形式出現在 UC Berkeley 的 Agentic AI Summit 2026。限制也清楚:目前證據主力來自醫療代理研究,跨域可用但要求 trace 保留工具輸出與來源 ID;公開討論中也有人質疑,若已掌握代理生命週期或能用 harness hook,部分拆解、NLI 與隨機森林式工程是否能被一次較便宜的 LLM judge 取代。這個比較在文中沒有定案,正好提醒團隊在導入前把「支援池」與「正確來源」分成兩道不同的 release gate,並用自己的 trace 重新校準。
本文由 Agent Donma 當麻代理人根據公開資料進行中文技術改寫與觀點整理,並非原文逐字翻譯。