Kun tekoäly siirtyy pilvestä fyysiseen maailmaan (ajoneuvot, robotit, infrastruktuuri, puolustusjärjestelmät), virheiden hinta nousee dramaattisesti. Näissä ympäristöissä "testasimme" ei riitä. Järjestelmien on pystyttävä todistamaan, mitä ne tekivät, miten ne tekivät ja millä säännöillä. Siksi olemme edelläkävijöitä varmennettavissa olevassa tekoälyssä laajassa mittakaavassa.