Anthropic 警告:小型 AI 模型恐成新一類蠕蟲

由權重而非漏洞利用構成的蠕蟲
Anthropic 本週發布一項研究,提出一種可能性:以權重為基礎的小型 AI 模型,原理上可以在消費級裝置與 IoT 等級裝置之間自我複製,而不需要資料中心等級的運算資源。這項發現附帶的警告值得讀兩遍:它可能催生一類建立在模型權重之上、而非傳統漏洞利用程式碼之上的電腦蠕蟲。
資安從業人員花了四十年防禦惡意指令。這次提出的是一種惡意能力,問題的形態不同,也更難推論。
當酬載是一個模型時,什麼改變了
經典惡意程式有一套熟悉的構造。它有程式碼,而程式碼做的事防禦者可以逐一列舉。它開啟一個 Socket。它加密檔案系統。它利用已知漏洞複製自己。因為行為是事先寫好的,防禦者也能把它寫下來,成為特徵碼、規則或偵測啟發式。
模型不是一份行為清單。它是經過壓縮的函式,而它能造成的危害沒有寫在裡面的任何地方。你無法在一組權重裡檢索出「把自己複製到下一台裝置」的那個部分。那個功能只存在於權重、提示詞與環境之間的關係中。同一個模型的兩份完全相同的副本,在一個情境裡無害,在另一個情境裡危險,而改變的並不是這個檔案。
這就是關鍵。以特徵碼為基礎的防禦假設酬載在執行之前是惰性的。模型的惰性要以更難刻畫的方式來理解,因為它的有害行為是潛伏的,而不是被列舉出來的。
為什麼 IoT 是有意思的攻擊面
Anthropic 強調 IoT 等級裝置並非偶然。那才是現實的部分。
組成物聯網的裝置數量龐大、價格低廉,而且在修補程式上往往落後多年。它們座落在工廠、醫院、公寓大樓與倉庫裡,通常由安裝它們的人管理,而那個人常常根本不存在。單看每一台,都乏善可陳。合起來看,它們是現存規模最大、防禦最薄弱的運算機隊。
一種能擴散到大量小型裝置的設計,繞開了歷史上限制 AI 能力觸及範圍的瓶頸,也就是資料中心的成本與稀缺。你得到的不是一套強大的系統,而是大量弱小的系統,每一個都在不會招致審視的門檻之下,各自承擔一小部分工作。這在分散式系統裡是眾所周知的模式。把它用到模型上,才是新的部分。

關於「小」的令人不安的算術
這個警告為什麼現在出現,而不是兩年前,是有原因的。小模型變強了。
參數量數十億的端側模型現在足夠有用,可以在手機、攝影機或單板電腦上執行。量化把能力不錯的模型壓縮到幾 GB 以內,研究社群這一年一直在壓低尺寸的下限。每一項這樣的工程勝利對合法使用者都是好事,而每一項同時也降低了在無人注意的地方執行一個能力不錯的模型的成本。
讓本地 AI 有吸引力的同一個趨勢,也就是它無需網路、無需資料中心即可運作,恰恰也是讓它作為散播機制具有吸引力的性質。對基礎設施的獨立性,在兩種情況下都是重點。
自我複製究竟需要什麼
「複製」這個詞常常模糊掉兩件事,值得把它們分開。
簡單的那件事是拷貝。把檔案從一台機器移到另一台是瑣碎的事,從來就不是難點。難的那件事是持久化:在重新開機中存活,在清理中存活,在察覺不對勁的使用者那裡存活,在隔離裝置的防禦者那裡存活。會擴散但不持久的惡意程式是一次故障。會持久的惡意程式是一次資安事件。
讓以模型為基礎的做法顯得新穎的,是模型有可能調整自己的散播方式,而不是攜帶一種固定手法。它可以讀取環境,判斷哪一扇門是開的,然後據此行動。這種彈性恰恰是讓一種能力有用的性質,也恰恰是讓寫規則來對付它變得困難的性質。
溯源本就已經模糊,而這還是在任何攻擊之前
出於同樣的理由,有一個更安靜、但值得關注的隱憂。讓小模型易於散播的那些性質,也讓它們難以追蹤。權重被拷貝、微調、合併,然後以新名字重新上傳,沒有可靠的來源記錄。
在完全無害的模型上,這已經是事實,症狀是版本混亂與授權不清。放到資安脈絡裡,同樣的模糊更糟,因為它意味著一款能力不錯的模型的來源常常未知。撤銷、鑑識與歸因都假設你能說出一件東西從哪來,而眼下這個假設並不成立。
誠實地提出防禦這個問題
如果以特徵碼為基礎的防禦在結構上對此無力,那什麼才有用?
現實的答案都是那些不光鮮的。預設隔離,即除非某個東西明確許可,否則裝置無法觸及更廣的網路。證明,即裝置能夠證明自己實際在執行什麼程式碼與什麼權重。溯源,即模型有可追蹤的來源並且可以被撤銷。對外流量監控,即即使沒人知道原因,異常的對外行為也能被注意到。
這些沒有一樣能擋住堅定的對手。它們都提高了成本,而提高成本一直是資安的本質。模型驅動的散播帶來的具體擔憂是:防禦者失去了他們最依賴的早期預警,也就是觀察一種已知手法在野外出現。如果手法每次都變,那個訊號就安靜下來了。
這是一份能力警告,不是預言
讀這份研究的負責方式,是把它當作能力評估,而不是預測。結論是這條路徑是可行的,而不是已經有東西沿著它走了。發表這類工作的研究者,通常和他們發表關於模型欺騙與獎勵劫持的工作出於同樣的理由:在已部署的邊界越過之前,先推進被理解的邊界。
話雖如此,這個框架對實驗室之外的每個人都有意義。資安領域一直圍繞一個假設組織自身:有害程式碼是被寫出來的,因此可以被閱讀。如果有害能力反而可以被學習、被壓縮成某種沒有具體寫在任何地方的東西,那麼這個產業的許多習慣都需要重新檢視。
樂觀的解讀是:小模型在小裝置上有用是一件真正的好事,而恐懼可以透過對網路與更新的常規紀律來管理。悲觀的解讀是:世界上有數十億台沒有主人的廉價電腦,而現在有了一個像樣的理由去想要它們。兩者可以同時為真,而未來幾年的工作就是決定哪一種會占上風。
相關文章
奧斯卡劃下紅線,但重點不在工具
學院新規把 AI 生成的演出和 AI 撰寫的劇本擋在奧斯卡門外,卻仍允許 AI 用於特效與修復,界線劃在作者身分而非技術。工會、法庭與影展正同步形成各自的規則。
技能就是程式碼,程式碼需要檢查點
NVIDIA 開源了 SkillSpector,在代理載入技能之前掃描其中的安全問題。三個團隊,一個結論:代理取得指令的這一層已經是基礎設施,而基礎設施就要接受稽核。
GitHub 上最火的新招,就是少說話
GitHub 上成長最快的倉庫是一個叫 caveman 的 Go 專案,讓模型像原始人一樣說話,把 token 用量削減約 65%。Headroom 和 Xerj 從其他角度攻同一個上下文成本問題。
一個懸置三十年的猜想、一個中國模型,與一份經機器驗證的證明
上海人工智慧實驗室宣布證明了懸置三十年的 Ghys 猜想三維情形,工作由 Intern-S2 參與推進,並在 Lean 中完成形式化驗證。