Google DeepMind ha presentato AlphaProof Code per la verifica del software

Il team di Google DeepMind ha annunciato il lancio di AlphaProof Code, un sistema progettato per la verifica approfondita di sistemi software complessi tramite prove matematiche.

Nell'ambito di una dimostrazione delle capacità della tecnologia, agenti IA specializzati hanno scritto tre milioni di righe di prove nel sistema Lean. Questi calcoli matematici sono stati utilizzati per verificare rigorosamente la sicurezza e la correttezza del codice sorgente della crittografia chiave del messenger Signal.

Il nuovo strumento combina metodi di apprendimento automatico con verificatori formali, consentendo di automatizzare il processo routinario e dispendioso in termini di tempo della dimostrazione manuale di teoremi nello sviluppo software.

Lo sviluppo mira a cambiare radicalmente l'approccio alla sicurezza delle infrastrutture critiche, riducendo la probabilità di vulnerabilità nascoste nei protocolli di comunicazione protetti durante la fase di compilazione.