Jak AI přechází z cloudu do fyzického světa (vozidla, roboti, infrastruktura, obranné systémy), náklady na chyby dramaticky rostou. V těchto podmínkách nestačí "otestovali jsme to". Systémy musí být schopny prokázat, co udělaly, jak to udělaly a podle jakých pravidel. Proto jsme průkopníky v oblasti ověřitelné AI ve velkém měřítku.