Os sistemas autónomos estão a avançar mais rapidamente do que a nossa capacidade de os verificar. Enxames de drones. Veículos autónomos. AI de borda direcionada. Os sistemas que tomam decisões estão a evoluir rapidamente. Os sistemas que provam que essas decisões estavam corretas não estão.