#Rust

Microsoft कृत्रिम बुद्धिमत्ता एजेंटों का उपयोग करके गणितीय रूप से साबित कर रहा है कि इसका एन्क्रिप्शन कोड में कोई खामी नहीं है

Windows और Azure के क्रिप्टोग्राफी लाइब्रेरी के पीछे की टीम कुछ असामान्य कर रही है: केवल कोड का परीक्षण नहीं, बल्कि इसे सही साबित कर रही है, हर संभावित इनपुट के लिए, औपचारिक गणितीय प्रमाण का उपयोग करके जिसे आंशिक रूप से कृत्रिम बुद्धिमत्ता द्वारा लिखा गया है।