Yhdysvaltain ilmavoimien viimeaikainen kulutus? Yhdysvaltain ilmavoimat ovat investoineet jopa 87 miljoonaa dollaria robotiikkaan ja autonomisten järjestelmien tutkimukseen, ja autonomiset kyvykkyydet eivät enää ole konseptin todiste, vaan ovat siirtyneet aidosti strategiselle tasolle. Mutta kun autonomiset järjestelmät alkavat osallistua sotilaalliseen päätöksentekoon ja toteutukseen, ei riitä, että ne ovat nopeampia ja älykkäämpiä. Autonomiset järjestelmät, joilla ei ole todennettavissa olevaa laskentaa, ovat itsessään kansallinen riski. Jos on mahdotonta varmistaa, onko malli vaihdettu, onko perusteluja manipuloitu ja onko päätös toteutettu vakiintuneiden sääntöjen mukaisesti, robotti on kehittynyt tahansa, se on vain tarkastamaton musta laatikko. Lokitietoja ja toimittajalausuntoja ei voida pitää vastuullisina sotilaallisella tasolla, ja vastuuttoman virheen kustannukset voivat olla peruuttamaton. Siksi puolustuksen autonomisten järjestelmien on asetettava validointi ytimeen. ei tarkistanut jälkikäteen, vaan pidättelemään etukäteen; En usko, että järjestelmän pitäisi olla kunnossa, mutta voin todistaa, että se todella toimii sääntöjen mukaan! Sotilaallisissa tilanteissa autonomiaa ei voida toteuttaa laajassa mittakaavassa ilman kryptografisia todisteita rajoina, saati sitten pitkäaikaisten turvallisuusetujen muodostamista. Aidosti luotettavien puolustusautonomian järjestelmien on rakennettava todennettavien laskelmien varaan, ei luottamukseen perustuviin oletuksiin. Kun autonominen järjestelmä muuttuu perustavanlaatuiseksi kyvyksi, on yhtä tärkeää todistaa, että se tekee sen oikein, kuin saada se toimimaan! #KaitoYap @KaitoAI #Yap @inference_labs