Det nylige forbruket av det amerikanske luftforsvaret? Det amerikanske luftforsvaret har investert opptil 87 millioner dollar i forskning på robotikk og autonome systemer, og autonome kapasiteter er ikke lenger et bevis på konseptet, men har nådd et virkelig strategisk nivå. Men når autonome systemer begynner å delta i militære beslutninger og gjennomføring, er det ikke nok å være raskere og smartere. Autonome systemer uten verifiserbar beregning er en nasjonal risiko i seg selv. Hvis det er umulig å bekrefte om modellen er byttet ut, om resonnementet er blitt tuklet med, og om avgjørelsen er utført i henhold til etablerte regler, så er det uansett hvor avansert roboten er, bare en svart boks som ikke kan revideres. Logger og leverandøruttalelser kan ikke holdes ansvarlige på militært nivå, og kostnaden ved en uansvarlig feil kan være irreversibel. Derfor må forsvarsautonome systemer sette validering i sentrum. ikke å gjennomgå etterpå, men forhåndsbegrense; Jeg tror ikke systemet skal fungere fint, men jeg kan bevise at det virkelig fungerer etter reglene! I militære situasjoner kan ikke autonomi utplasseres i stor skala uten kryptografiske bevis som grenser, langt mindre utgjøre langsiktige sikkerhetsfordeler. Virkelig pålitelige systemer for forsvarsautonomi må bygges på verifiserbare beregninger, ikke på tillitsantakelser. Når et autonomt system blir en grunnleggende evne, er det like viktig å bevise at det gjør det riktig som å få det til å gjøre ting! #KaitoYap @KaitoAI #Yap @inference_labs