Khi AI chuyển từ đám mây vào thế giới vật lý (xe cộ, robot, cơ sở hạ tầng, hệ thống phòng thủ), chi phí cho các lỗi tăng lên đáng kể. Trong những môi trường này, "chúng tôi đã thử nghiệm" là không đủ. Các hệ thống phải có khả năng chứng minh những gì chúng đã làm, cách chúng đã làm và theo những quy tắc nào. Đó là lý do tại sao chúng tôi đang tiên phong trong AI có thể xác minh quy mô.