AdaCore je objavio GNAT Foundry: Intersection, open-source demonstrator koji testira AI-generisane promene u softveru visoke integritetnosti formalnim dokazima, testiranjem zasnovanim na zahtevima, analizom strukturnog pokrića i proverama praćenosti. Ovaj projekat rešava problem koji postaje posebno izražen kada se AI agenti za kodiranje koriste za bezbednosni ili sigurnosni softver: agent može generisati i modifikovati artefakte na način koji zahteva pažljivu proveru. GNAT Foundry: Intersection omogućava da se AI-generisane promene u kritičnom softveru sistematski proveravaju kroz formalne dokaze, što je ključno za aplikacije gde greške mogu imati ozbiljne posledice.
Ovo alatko pruža razvojnim timovima mogućnost da integrišu AI u svoje radne tokove, ali uz neophodne mehanizme kontrole i verifikacije. Objava ovog alata dolazi u vreme kada sve više kompanija eksperimentiše sa AI asistentima za programiranje, ali nailazi na izazove u vezi sa verifikacijom i validacijom generisanog koda. AdaCore, poznat po svom radu na programskom jeziku Ada, ovim korakom nastoji da postavi standarde za bezbedno korišćenje AI u razvoju softvera visoke integritetnosti.

