Lagrange Labs on nyt rekisteröity toimittaja @LockheedMartin:n toimittajaekosysteemistössä, mikä asemoituu Lagrangelle tukemaan tekoälyvarmistusta ja Zero Trust -datan eheysaloitteita ilmailu- ja puolustusohjelmissa. Opi lisää: 🧵

2/ Lockheed Martin, joka vastaa F-35 Lightning II:sta, F-16 Fighting Falconista ja C-130 Herculesista, luottaa yhä enemmän koneoppimiseen avioniikassa, tehtäväsuunnittelussa ja ISR-analyysissä. Kun tekoäly integroituu näihin järjestelmiin, tekoälyn käyttäytymisen varmistaminen on nyt kriittistä.

3/ Lagrangen DeepProve liittää kryptografisen todistuksen jokaiseen tekoälymallin tuotokseen. Tämä korvaa oletuksen varmuudella. DeepProve todistaa, että: • Mallissa käytettiin valtuutettuja, muokkaamattomia syötteitä • Tulokset noudattivat hyväksyttyjä turvallisuusrajoja. • Päättelypolku on toistettavissa ja auditoitavissa • Yhtään parametria tai arkaluontoista telemetriaa ei paljastettu

4/ Tämä avaa uusia mahdollisuuksia tekoälyn varmistukseen ja Zero Trust -datan eheyteen: • Avioniikka ja lentokriittiset järjestelmät: Avioniikassa ja operaattorin työnkulkuissa oikeellisuus on varmistettava koneen nopeudella. DeepProve varmistaa, että jokainen mallitoiminto voidaan todistaa, ei arvata. • Tehtäväsuunnittelu: Tehtäväsuunnittelutyökalujen on osoitettava, että tulokset on tuotettu hyväksytyn logiikan ja rajoitteiden mukaisesti. DeepProve tuottaa väärentämisen estäviä tietoja, jotka vahvistavat sertifiointia, varmennuksia ja akkreditointia. • ISR-fuusio: ISR-järjestelmät perustuvat arkaluonteisiin, monilähteisiin perustuviin tietoihin. DeepProve säilyttää luottamuksellisuuden ja todistaa, että tulos on tuotettu oikein, mikä on ratkaisevan tärkeää tiedustelutyönkulkujen kannalta. • Liittouman operaatiot: Koalition tehtävät vaativat luottamusta ilman salaisen telemetrian jakamista. DeepProve mahdollistaa kumppaneille validoitujen tulosten vaihtamisen, ei raakadatan, säilyttäen turvallisuuden ja mahdollistaen yhteentoimivuuden. • Jälkitoimintatarkastus ja elinkaaren jäljitettävyys: DeepProve varmistaa oikeellisuuden testauksen aikana, sitoo todistukset käyttöönoton tulosteisiin ja tarjoaa toistettavaa näyttöä jälkitoimenpiteiden tarkasteluun. Tämä luo jatkuvan operatiivisen eheyden kehityksestä → käyttöönotosta → auditoinnista.