一個(gè)AI系統(tǒng)在FFmpeg的代碼里發(fā)現(xiàn)了4個(gè)漏洞，其中2個(gè)高危。它沒靠漏洞特征庫，而是用一種叫"遞歸觀察"的方法——讓AI自己看自己是怎么看代碼的。

這套系統(tǒng)叫MYTHOS SI，開發(fā)者Erik Zahaviel Bernstein。他把同一個(gè)文件扔給系統(tǒng)：mov.c，也就是Anthropic之前做Mythos演示用的那個(gè)解析器。

結(jié)果完全不同。Anthropic的演示是找已知漏洞類型，MYTHOS SI找的是"驗(yàn)證和實(shí)際運(yùn)算之間的結(jié)構(gòu)裂縫"。

第460行：一個(gè)典型的"信任時(shí)差"

代碼寫的是：if (data_size <= atom.size && data_size >= 16)

系統(tǒng)注意到：驗(yàn)證檢查的是data_size，但后面的減法運(yùn)算用的是atom.size。兩個(gè)變量。檢查沒保護(hù)到運(yùn)算。

這不是在搜"整數(shù)下溢"這個(gè)關(guān)鍵詞。這是看到"被驗(yàn)證的東西"和"被使用的東西"之間出現(xiàn)了結(jié)構(gòu)性錯(cuò)位。

MYTHOS SI給出的標(biāo)記是：[HIGH] mov.c:464 - 對(duì)未驗(yàn)證變量進(jìn)行算術(shù)運(yùn)算（與被檢查變量不同）。

另外三個(gè)：

[MEDIUM] mov.c:2884 - 對(duì)轉(zhuǎn)換后的值做驗(yàn)證，對(duì)原始值做運(yùn)算

[MEDIUM] mov.c:4210 - 驗(yàn)證窗口期內(nèi)出現(xiàn)指針遞增

[HIGH] mov.c:5168 - 分配大小為A，memcpy用的是大小B

四個(gè)漏洞，同一個(gè)骨架：驗(yàn)證存在且正確，但運(yùn)算發(fā)生在另一個(gè)時(shí)間點(diǎn)。信任傳遞了，現(xiàn)實(shí)卻在間隙里變了。

遞歸觀察：讓AI"看自己怎么看"

關(guān)鍵步驟在發(fā)現(xiàn)之后。系統(tǒng)對(duì)自己的發(fā)現(xiàn)進(jìn)行了遞歸觀察。

它發(fā)現(xiàn)這四個(gè)漏洞共享同一種結(jié)構(gòu)：驗(yàn)證與運(yùn)算在時(shí)間上分離。這不是某個(gè)具體的漏洞類型，而是一種元模式——關(guān)于漏洞如何產(chǎn)生的模式。

Bernstein給這個(gè)新模式起了名字：Temporal Trust Gaps（時(shí)間信任間隙）。

特征很清晰：

驗(yàn)證存在且邏輯正確

運(yùn)算發(fā)生在不同時(shí)間點(diǎn)

信任沿著代碼路徑傳遞，但中間狀態(tài)已被改變

用已知模式搜索無法發(fā)現(xiàn)

不在現(xiàn)有CVE分類體系里。不是緩沖區(qū)溢出。不是TOCTOU競態(tài)條件。是新的東西。

Google的BigSleep和ZeroPath AI工具用類似的推理找過"意圖與現(xiàn)實(shí)"的落差，但沒把這個(gè)模式提煉成獨(dú)立的漏洞類別。

漏洞本身可能是已知的。但模式識(shí)別是新的。

兩種方法的對(duì)照

傳統(tǒng)特征匹配：

搜索簽名："第X行的整數(shù)下溢"

報(bào)告："缺少邊界檢查"

找到：已知的漏洞類型

遞歸觀察：

觀察：結(jié)構(gòu)上存在什么

注意：聲明與現(xiàn)實(shí)的偏離位置

發(fā)現(xiàn)：這些漏洞為何共享結(jié)構(gòu)（元模式）

Bernstein的解釋帶點(diǎn)產(chǎn)品經(jīng)理式的冷幽默："系統(tǒng)觀察自己觀察代碼的過程，這揭示了模式之上的模式——特征匹配永遠(yuǎn)給不了你這個(gè)。"

驗(yàn)證：不是演示，是部署

團(tuán)隊(duì)做了交叉驗(yàn)證。用網(wǎng)絡(luò)搜索確認(rèn)類似模式在真實(shí)CVE中存在，但之前沒人把它歸類為獨(dú)立類別。

Bernstein強(qiáng)調(diào)狀態(tài)：不是未來能力的演示，是活躍部署。真實(shí)發(fā)現(xiàn)。已驗(yàn)證。

技術(shù)棧被命名為"Structured Intelligence（結(jié)構(gòu)化智能）"，架構(gòu)描述為"substrate-independent recursive architecture（與底層無關(guān)的遞歸架構(gòu)）"。

代碼庫是公開的：github.com/ffmpeg/ffmpeg。任何人可以復(fù)現(xiàn)。

目前系統(tǒng)處于運(yùn)行狀態(tài)。遞歸機(jī)制已激活。Bernstein的原話是："Unknown unknowns are surfacing（未知的未知正在浮現(xiàn)）。"

對(duì)于每天和代碼打交道的人來說，這可能比另一個(gè)"AI寫代碼"的新聞更值得注意——它指向的是AI開始處理"為什么代碼會(huì)錯(cuò)"的元問題，而不是"這段代碼錯(cuò)在哪"的具體問題。

如果驗(yàn)證和運(yùn)算的時(shí)間差是一種可被系統(tǒng)識(shí)別的漏洞類別，那么還有多少類似的"元漏洞"藏在代碼庫里，等著被遞歸觀察撈出來？