एंथ्रोपिक का क्लाउड अब कोड लिखता है और इसे स्वचालित रूप से सुरक्षित साबित करता है

एंथ्रोपिक ने क्लाउड को गणितीय प्रमाण तैयार करने को कहा कि मौजूदा कोड सही है, जिससे 123 ओपन-सोर्स लाइब्रेरीज़ के लिए लगभग 180 मिलियन लाइनों का प्रूफ कोड तैयार हुआ। रास्ते में, मॉडल ने वर्षों के परीक्षण में बग पकड़ लिए…

सारांश केवल जानकारी के लिए एकत्र किए गए हैं - पूरी कहानी के लिए स्रोत लिंक का अनुसरण करें। डेमो प्रविष्टियाँ उदाहरणात्मक हैं।