Anthropic के Claude AI ने Fermat's Last Theorem का विश्व का पहला Lean 4 फॉर्मल प्रूफ बनाया।
29,500 सहायक थ्योरम्स जनरेट किए; Lean 4 कर्नेल ने 100% वैध मशीन-वेरिफाइड माना।
ISRO रॉकेट गाइडेंस और बैंकिंग कोर सिस्टम में 100% एरर-फ्री फॉर्मल कोडिंग संभव होगी।
AITechNews.co.in पर आज ही पूरी खबर विस्तार से पढ़ें!