所以，嗯，我們依賴於我們無法檢查的韌體、我們不自己構建的編譯器、封閉源碼的 LLM、專有的安全區、遠程更新等等。這些層次中的每一個都是目標，未來幾年/幾十年還會有更多加入。在這樣一個複雜的世界中（而且各位，這種複雜性是我們自己造成的！），我們怎麼能驗證我們是安全的呢？如果你問我，驗證從未像現在這樣關鍵，也從未如此不可能。