एंथ्रोपिक एआई ने फ़र्मा के अंतिम प्रमेय के प्रमाण को कंप्यूटर-सत्यापित कोड में सफलतापूर्वक अनुवादित किया है, एक ऐसा करतब जिसका अनुमान गणितज्ञों का है कि मनुष्यों को एक दशक लग जाता। यह परियोजना, जो 11 दिनों में पूरी हुई, गणितीय सत्यापन और संभावित खोज में कृत्रिम बुद्धिमत्ता की बढ़ती भूमिका को प्रदर्शित करती है। रटगर्स विश्वविद्यालय, पिस्काटेवे, न्यू जर्सी के एक संख्या सिद्धांतकार एलेक्स कोंटोरविच ने कहा कि यह उपलब्धि “वास्तव में मुझे चकित कर गई”। सैन फ्रांसिस्को, कैलिफ़ोर्निया स्थित एंथ्रोपिक एआई ने 4 सितंबर को इस सफलता की घोषणा की। 13 मिलियन लाइनों का प्रमाण एंड्रयू वाइल्स और रिचर्ड टेलर के काम को औपचारिक रूप देता है, जिन्होंने मूल रूप से 1994 में प्रमाण पूरा किया था। फ़र्मा का अंतिम प्रमेय बताता है कि कोई भी पूर्णांक x, y और z समीकरण xⁿ + yⁿ = zⁿ को संतुष्ट नहीं कर सकते हैं जब n 2 से बड़ा हो। प्रमेय को मूल रूप से पियरे डी फ़र्मा ने 1637 में अनुमान लगाया था, लेकिन 350 वर्षों से अधिक समय तक यह अप्रमाणित रहा। इम्पीरियल कॉलेज लंदन के एक गणितज्ञ केविन बुज़ार्ड ने इस उपलब्धि की जटिलता पर प्रकाश डाला, और कहा कि यह “शायद एक परिमाण अधिक कठिन” है, पिछली एआई-सहायता प्राप्त औपचारिकता की तुलना में, जैसे कि फरवरी में मैरीना वियाज़ोवस्का के गोला पैकिंग पर काम का प्रमाणन। यूनिवर्सिटी ऑफ़ टोरंटो, कनाडा के एक संख्या सिद्धांतकार डैनियल लिट्ट का मानना है कि यह सफलता एआई की किसी भी गणितीय प्रमाण को औपचारिक रूप देने की क्षमता का संकेत देती है: “यदि वे फ़र्मा के अंतिम प्रमेय को औपचारिक रूप दे सकते हैं, तो वे शायद कुछ भी औपचारिक रूप दे सकते हैं।” एआई की प्रमाणों को ‘औपचारिक’ करने की क्षमता - गणितीय तर्कों को कंप्यूटर-सत्यापित कोड में अनुवादित करना, आमतौर पर लीन प्रोग्रामिंग भाषा का उपयोग करके - को गणितज्ञों के लिए एक शक्तिशाली उपकरण के रूप में तेजी से देखा जा रहा है। बुज़ार्ड का सुझाव है कि वर्तमान प्रगति दर पर, एआई अंततः गणितीय ज्ञान के पूरे निकाय की जांच कर सकता है, संभावित रूप से स्थापित परिणामों में त्रुटियों की पहचान कर सकता है। “दो साल पहले, यह एक कल्पना थी,” उन्होंने कहा।
मूल कवरेज पढ़ें
💬 टिप्पणियाँ
📜 टिप्पणी नीति