W miarę jak AI przechodzi z chmury do świata fizycznego (pojazdy, roboty, infrastruktura, systemy obronne), koszt błędów dramatycznie rośnie. W tych środowiskach „przetestowaliśmy to” nie wystarcza. Systemy muszą być w stanie udowodnić, co zrobiły, jak to zrobiły i według jakich zasad. Dlatego pionierujemy weryfikowalną AI na dużą skalę.