Konsumsi Angkatan Udara AS baru-baru ini? Angkatan Udara AS telah menginvestasikan hingga $87 juta dalam penelitian robotika dan sistem otonom, dan kemampuan otonom tidak lagi menjadi bukti konsep, tetapi telah memasuki tingkat yang benar-benar strategis. Tetapi ketika sistem otonom mulai berpartisipasi dalam pengambilan keputusan dan eksekusi militer, tidak cukup untuk menjadi lebih cepat dan lebih pintar. Sistem otonom tanpa komputasi yang dapat diverifikasi adalah risiko nasional itu sendiri. Jika tidak mungkin untuk memastikan apakah model telah diganti, apakah alasannya telah dirusak, dan apakah keputusan tersebut dieksekusi sesuai dengan aturan yang ditetapkan, maka tidak peduli seberapa canggih robot itu, itu hanyalah kotak hitam yang tidak dapat diaudit. Log dan pernyataan vendor tidak dapat dimintai pertanggungjawaban di tingkat militer, dan biaya kesalahan yang tidak dapat dipertanggungjawabkan dapat tidak dapat diubah. Inilah sebabnya mengapa sistem otonom pertahanan harus menempatkan validasi sebagai inti. tidak meninjau setelahnya, tetapi menahan diri terlebih dahulu; Saya tidak percaya sistemnya baik-baik saja, tetapi saya dapat membuktikan bahwa itu benar-benar berfungsi sesuai aturan! Dalam skenario militer, otonomi tidak dapat digunakan dalam skala besar tanpa bukti kriptografi sebagai batas, apalagi membentuk keunggulan keamanan jangka panjang. Sistem otonomi pertahanan yang benar-benar andal harus dibangun di atas perhitungan yang dapat diverifikasi, bukan asumsi kepercayaan. Ketika sistem otonom menjadi kemampuan dasar, membuktikan bahwa ia melakukannya dengan benar sama pentingnya dengan membuatnya melakukan sesuatu! #KaitoYap @KaitoAI #Yap @inference_labs