एआई ने 350 साल पुरानी गणितीय समस्या को सबसे लंबा प्रमाण लिखकर हल किया

60 शब्दों का सारांश

एंथ्रोपिक का एआई क्लॉड ग्यारह दिन में फर्मा के अंतिम प्रमेय के लिए 13 मिलियन पंक्तियों का प्रमाण तैयार करता है, जो अब तक का सबसे लंबा कंप्यूटर‑सत्यापित प्रमाण है। यह प्रणाली कोड लिखती है जो बिना मानव निगरानी के स्वयं को जांचता है, जिससे स्वायत्त गणितीय तर्कसंगतता प्रदर्शित होती है। यह突破 एआई की जटिल, अनसुलझी समस्याओं को सुलझाने की क्षमता को उजागर करता है, जिससे शोध प्रक्रियाओं में तेज़ी आएगी और एआई‑आधारित वैज्ञानिक खोजों में निवेश बढ़ेगा।