Saat AI bergerak dari cloud ke dunia fisik (kendaraan, robot, infrastruktur, sistem pertahanan) biaya kesalahan meningkat secara dramatis. Dalam lingkungan ini, "kami mengujinya" tidak cukup. Sistem harus dapat membuktikan apa yang mereka lakukan, bagaimana mereka melakukannya, dan di bawah aturan mana. Itulah sebabnya kami memelopori AI yang dapat diverifikasi dalam skala besar.