沒有可驗證證據的自主性與盲目信任無法區分。 為了讓自主代理能夠安全地大規模運作，它們的行為必須是可證明的、受限的，並且在設計上可審計。