AI News HubLIVE
站內改寫3 分鐘閱讀

法律AI,而非帶腳手架編碼代理

本文探討了專門為法律用途設計的AI系統,與通用編碼代理的不同之處。強調法律AI需要以證據為基礎、可審計、可驗證,並支援逐項修改的編輯流程。對比了Codex和Lexifina在跨引用檢查、壓縮和版本控制方面的不同方法。

來源Hacker News AI作者: alansaber

法律AI,不是帶腳手架編碼代理。

大多數法律AI的使用是透過為編碼構建的代理進行的。讓我們關注一下專門為法律目的構建的系統可能實現的具體成果。

一般而言,法律AI應找到最強有力的可支援論點,識別正確的證據,並使該證據易於驗證。

代理工作空間是正確介面。使用者可以看到審計跟蹤,包括模型使用的工具和來源。他們能夠透過建立側邊聊天來控制上下文,並定義特定的來源和技能來操縱模型行為。

代理的接地必須在單個宣告和編輯級別進行。僅僅檢索一個外部文件並整體引用是不夠的。這種粒度取決於論點——可能要求一個單獨的句子、一個段落或一組頁面。每個來源的層次、狀態和預期目的應明確。這些資訊可以透過本體或類似的圖網路儲存。例如,法律權威與客戶事實、當前文件語言與先前起草語言。

當AI建議編輯時,律師應能看到為什麼做出該更改。這包括原始指令、審查的條款、考慮的事實、依賴的法律來源,以及任何可以確定計算並整齊打包給使用者的警告或不確定性。

AI不應自動進行更改。它應以修訂格式(或跟蹤更改!)顯示建議的編輯,以便逐一處理。這種工作流程有助於阻止使用者盲目接受更改。不用說,更改會被記錄並可在任何時間透過底層版本控制系統撤銷。讓機率過程在沒有版本控制系統的情況下編輯文件簡直是魯莽的。

技能、記憶和壓縮應保留對證據的訪問。它們不應以摘要代替證據。在法律用例中,這還不夠。相反,它應留下一個查詢工件,允許檢視確切原始內容以獲取事實資訊。

AI,即使以證據為基礎,也絕不能取代法律判斷。來源可能過時、狹窄、不完整或限於特定司法管轄區。系統應使這些限制更可見,而不是更少,並使律師能夠利用最新資訊做出充分知情的決策。

編碼代理只強制執行機械正確性,將解釋作為指導原則。律師正在受到制裁,因為證據接地被視為可選的指導層,而不是核心產品或工作流要求。不幸的是,這就是當前法律AI工具的故事。

刪除條款:補丁是否匹配,依賴關係是否檢查?

以指令“刪除第12.7條,因為其義務似乎在其他地方重複”為例。有兩種可能出錯的方式。文本可能自編輯準備以來已更改,或者另一條款可能仍引用第12.7條。

Codex的原生補丁路徑直接解決第一個失敗。它查詢當前檔案中的舊行:

如果預期文本不再存在,補丁失敗,而不是應用於過時的位置。

這是一個強大的文本不變性,但它對法律文件的依賴關係沒有說明。Codex可以搜尋交叉引用,但原生補丁應用並不要求該搜尋已經發生。

Lexifina記錄結構化交叉引用查詢是否成功完成:

對於整個章節的刪除,缺少該記錄的審查變成了編輯級別的警告:

每個系統防止不同的失敗。Codex防止過時的補丁應用於不再匹配的文本。Lexifina將結構性依賴檢查的缺失帶入審查物件。

壓縮:模型能否恢復確切的工具輸出?

假設一個研究工具返回了一個長的意見摘錄,模型使用了其中的兩個段落,並且在起草完成之前對話被壓縮。一個說“該案例支援論點”的敘述摘要不是證據。相關的問題是,活動代理能否獲得確切的工具輸出。

在Codex的本地壓縮路徑中,替換歷史由保留的使用者訊息和生成的摘要構建:

這就是模型的主動替換歷史。它沒有向摘要中新增每個工具結果的查詢。這並不意味著Codex刪除其永續性rollout,代理可能能夠重新讀取原始檔或重新執行工具。

Lexifina的壓縮標記給模型留下了一個可執行地址來獲取清除的結果:

read_tool_result將該id解析為持久化的完整輸出,並返回請求的範圍,而無需要求另一個模型重新構建它:

這種恢復限於活動執行:模型面對的檔案是臨時的,並在執行結束時刪除:

簡而言之,壓縮可以用大塊文本替換,而不會迫使下一個模型信任釋義;tool_use_id仍然是返回確切持久化工具文本的路線。Codex的本地替換歷史保留了摘要,但本身不暴露等效的呼叫ID查詢。

修訂模式顯示更改了什麼。它能證明哪個起草決定更改了它?

假設版本3將賠償上限設定為協議下支付的費用。團隊隨後回退到早期草稿並建立了版本6,其中上限消失了。律師的問題不僅僅是“文本有何不同?”而是:當前的起草分支是否移除了上限,哪個接受的編輯導致了它,什麼指令產生了該編輯,答案是基於儲存的更改記錄還是後來重建?

Codex為當前請求中提交的補丁所做的檔案更改維護一個確切的淨差異:

只有確切的補丁增量被允許進入該跟蹤器。不精確的增量會使結果無效,而不是允許潛在誤導的差異存活:

傳送給客戶端的事件包含該統一差異:

事件的整個負載是一個文本欄位:

這是對“這個Codex請求改變了什麼?”的有力回答。它本身並不使差異事件成為儲存的文件譜系記錄:塊沒有父版本、接受的編輯ID、觸發指令、審閱者、應用時間或置信度欄位。Codex可以保留周圍的rollout事件,版本控制系統可以新增提交歷史。更狹義的觀點是,這些關係不是這個原生差異物件的不變性。

[根據輸入截斷]