1/ 自主系統不能依賴「相信我們，它有效。」 它們需要加密證據： • 無人機做出了正確的決策 • 機器人正確讀取了傳感器 • 代理安全執行 這些證據必須快速。