Autonome Systeme entwickeln sich schneller, als wir sie verifizieren können. Drohnen-Schwärme. Autonome Fahrzeuge. Edge AI-Targeting. Die Systeme, die Entscheidungen treffen, entwickeln sich schnell weiter. Die Systeme, die beweisen, dass diese Entscheidungen korrekt waren, tun dies nicht.