Claude ने Fermat की अंतिम प्रमेय को Lean में औपचारिक रूप दिया
Anthropic ने 4 सितंबर 2026 को बताया कि Claude ने Fermat की अंतिम प्रमेय का पहला पूर्ण कंप्यूटर-सत्यापित प्रमाण तैयार किया, जिसमें Prove2Me प्लेटफ़ॉर्म पर लगभग 11 दिनों के काफ़ी हद तक स्वायत्त मल्टी-एजेंट कार्य में करीब 1.3 करोड़ पंक्तियाँ Lean कोड लिखा गया और लगभग 29,500 मध्यवर्ती प्रमेय सिद्ध हुए। इसमें Lean के तीन मानक अभिगृहीत और Mathlib के FLT से मेल खाता कथन इस्तेमाल हुआ। Anthropic शोधकर्ता Tianyi Peng ने उच्च-स्तरीय प्राथमिकताएँ तय कीं; Kevin Buzzard ने नतीजे की समीक्षा कर ऑटोफ़ॉर्मलाइज़ेशन को असाधारण बताया और कहा कि ऐसी तकनीकें AI-जनित गणित की जाँच और रेफ़रीइंग का बोझ घटाने में मदद कर सकती हैं। Anthropic इसे Wiles की प्रमेय के मार्ग (Darmon–Diamond–Taylor के ज़रिए) का सत्यापन बताती है, न कि Riemann पर नए परिणाम जैसी नई गणित, और न ही Claude का कोई उपभोक्ता उत्पाद लॉन्च।
एआई की मदद से अनुवादित।