#post-quantum cryptography

Microsoft sta utilizzando agenti AI per provare matematicamente che il suo codice di crittografia non ha difetti

Il team dietro la libreria di crittografia di Windows e Azure sta facendo qualcosa di inusuale: non solo testare il codice, ma provarne la correttezza, per ogni possibile input, utilizzando prove matematiche formali scritte in parte da AI.