A autonomia sem prova verificável é indistinguível da confiança cega. Para que agentes autónomos operem de forma segura em grande escala, as suas ações devem ser prováveis, restritas e auditáveis por design.