Consumul recent al Forțelor Aeriene ale SUA? Forțele Aeriene ale SUA au investit până la 87 de milioane de dolari în cercetare în robotică și sisteme autonome, iar capabilitățile autonome nu mai sunt o dovadă de concept, ci au intrat într-un nivel cu adevărat strategic. Dar când sistemele autonome încep să participe la luarea deciziilor și execuția militară, nu este suficient să fie mai rapizi și mai inteligenți. Sistemele autonome fără calcul verificabil reprezintă un risc național în sine. Dacă este imposibil de confirmat dacă modelul a fost înlocuit, dacă raționamentul a fost modificat și dacă decizia este executată conform regulilor stabilite, atunci, indiferent cât de avansat este robotul, acesta este doar o cutie neagră neauditabilă. Jurnalele și declarațiile furnizorilor nu pot fi trase la răspundere la nivel militar, iar costul unei greșeli nejustificate poate fi ireversibil. De aceea, sistemele autonome de apărare trebuie să pună validarea în centrul atenției. nu revizuind după aceea, ci reținându-se dinainte; Nu cred că sistemul ar trebui să fie în regulă, dar pot demonstra că funcționează cu adevărat conform regulilor! În scenarii militare, autonomia nu poate fi folosită la scară largă fără dovezi criptografice ca granițe, cu atât mai puțin să formeze avantaje de securitate pe termen lung. Sistemele de autonomie de apărare cu adevărat fiabile trebuie construite pe calcule verificabile, nu pe presupuneri de încredere. Când un sistem autonom devine o capacitate fundamentală, a demonstra că o face corect este la fel de important ca a-l face să funcționeze! #KaitoYap @KaitoAI #Yap @inference_labs