Автономия без проверяемого доказательства неотличима от слепого доверия. Чтобы автономные агенты могли безопасно работать в больших масштабах, их действия должны быть доказуемыми, ограниченными и подлежащими аудиту по дизайну.