Autonoma system utvecklas snabbare än vår förmåga att verifiera dem. Drönarsvärmar. Autonoma fordon. Edge-AI-målinriktning. Systemen som fattar beslut utvecklas snabbt. De system som bevisar att dessa beslut var korrekta är det inte.