Etter hvert som KI beveger seg fra skyen til den fysiske verden (kjøretøy, roboter, infrastruktur, forsvarssystemer), øker kostnaden for feil dramatisk. I slike miljøer er ikke «vi testet det» tilstrekkelig. Systemene må kunne bevise hva de gjorde, hvordan de gjorde det, og under hvilke regler. Derfor er vi pionerer innen verifiserbar AI i stor skala.