つまり、私たちは検査できないファームウェア、作らないコンパイラ、クローズドソースのLLM、独自のエンクレーブ、リモートアップデートなどに頼っています。これらの層はそれぞれのターゲットであり、今後数年から数十年でさらに多くの層が加わっていくでしょう。こんなに複雑な世界(そして皆さん、この複雑さは私たち自身が作り出したものです!)で、どうやって安全を確かめればいいのでしょうか?私に言わせれば、検証はこれまでになく重要かつ不可能になりました。