Den senaste förbrukningen av det amerikanska flygvapnet? USA:s flygvapen har investerat upp till 87 miljoner dollar i forskning om robotik och autonoma system, och autonoma kapaciteter är inte längre ett konceptbevis, utan har nått en verkligt strategisk nivå. Men när autonoma system börjar delta i militärt beslutsfattande och genomförande räcker det inte att vara snabbare och smartare. Autonoma system utan verifierbar beräkning utgör en nationell risk i sig. Om det är omöjligt att bekräfta om modellen har bytts ut, om resonemanget har manipulerats och om beslutet har genomförts enligt fastställda regler, så är roboten oavsett hur avancerad den är bara en ogranskabar svart låda. Loggar och leverantörsuttalanden kan inte hållas ansvariga på militär nivå, och kostnaden för ett oansvarigt misstag kan vara irreversibel. Det är därför försvarsautonoma system måste sätta validering i centrum. inte att granska efteråt, utan att hålla tillbaka i förväg; Jag tror inte att systemet ska fungera, men jag kan bevisa att det verkligen fungerar enligt reglerna! I militära scenarier kan autonomi inte användas i stor skala utan kryptografiska bevis som gränser, än mindre skapa långsiktiga säkerhetsfördelar. Verkligt tillförlitliga försvarsautonomisystem måste byggas på verifierbara beräkningar, inte på förtroendeantaganden. När ett autonomt system blir en grundläggande förmåga är det lika viktigt att bevisa att det gör rätt som att få det att göra saker! #KaitoYap @KaitoAI #Yap @inference_labs