3 मिनट पढ़ेंनई दिल्लीअपडेट किया गया: 26 मई, 2026 04:55 अपराह्न IST
Google DeepMind ने दावा किया है कि उसके नए AI एजेंट, अल्फाप्रूफ नेक्सस ने AI और गणित से संबंधित एक कथित मील के पत्थर में 353 खुली एर्डोस समस्याओं में से नौ को स्वायत्त रूप से हल किया है।
पहली बार 1946 में प्रसिद्ध गणितज्ञ पॉल एर्डोस द्वारा प्रस्तुत, कुछ समस्याएं पिछले 56 वर्षों से अनसुलझी थीं। हालाँकि, डीपमाइंड शोधकर्ताओं ने कहा कि अल्फाप्रूफ नेक्सस ने केवल कुछ सौ डॉलर मूल्य के कंप्यूटिंग संसाधनों पर भरोसा करते हुए इनमें से नौ समस्याओं का समाधान किया।
अल्फाप्रूफ नेक्सस ने 44 खुले ओईआईएस अनुमानों को भी साबित किया, बीजगणितीय ज्यामिति में 15 साल पुराने प्रश्न को हल किया, और यहां तक कि अनुकूलन सिद्धांत में एक नया एल्गोरिदम पैरामीटर भी खोजा जो मनुष्यों को पहले नहीं मिला था, शोधकर्ताओं ने 21 मई को प्रकाशित ‘एडवांसिंग मैथमेटिक्स रिसर्च विद एआई-ड्रिवेन फॉर्मल प्रूफ सर्च’ शीर्षक वाले एक अध्ययन में आगे दावा किया।
Google की नवीनतम गणितीय उपलब्धि OpenAI के यह कहने के कुछ ही दिनों बाद आई है कि उसके एक AI मॉडल ने प्रसिद्ध “प्लानर यूनिट दूरी समस्या” को हल कर लिया है, जो पिछले 80 वर्षों से अनसुलझी थी।
पिछले कुछ वर्षों में एआई मॉडल ने गणितीय क्षमताओं में तेजी से प्रगति दिखाई है। 2024 में, Google DeepMind के शोधकर्ताओं ने अल्फा ज्योमेट्री पेश किया, जो एक AI मॉडल है जो जटिल ज्यामिति समस्याओं को अंतर्राष्ट्रीय गणितीय ओलंपियाड प्रतियोगियों के बराबर स्तर पर हल करने में सक्षम है।
OpenAI और Google DeepMind के अप्रकाशित मॉडल ने समान परिणाम पोस्ट किए 2025 में अंतर्राष्ट्रीय गणित ओलंपियाड. हालाँकि, OpenAI ने अतीत में अपने गणितीय दावों को लेकर विवाद भी खड़ा किया है।
इस बीच, अल्फाप्रूफ नेक्सस के साथ Google का नवीनतम कार्य संभावित रूप से सामने आया है क्योंकि एआई एजेंट ने स्वायत्त रूप से प्रमाण तैयार किए हैं, जिन्हें कथित तौर पर पूरी तरह से मानव गणितज्ञों पर भरोसा करने के बजाय एआई टूल के साथ सत्यापित किया गया था।
इस विज्ञापन के नीचे कहानी जारी है
शोधकर्ताओं ने कहा कि एआई-जनित प्रमाणों और औपचारिक सत्यापन का संयोजन भविष्य में गणितज्ञों के काम करने के तरीके को बदल सकता है। “हमारे परिणाम इस दृष्टिकोण का समर्थन करते हैं। हमारे गणितज्ञ सहयोगियों ने पाया कि हमारे एजेंटों द्वारा किए गए प्रमाण प्रयासों ने किसी समस्या की उनकी समझ को बढ़ाया, तब भी जब कोई एजेंट हाथ में दावा साबित नहीं कर सका,” उन्होंने लिखा।
ओपनएआई के पहले के दावों के संबंध में, चैटजीपीटी-निर्माता ने कहा कि वह गणितज्ञ नोगा अलोन, थॉमस ब्लूम और टिम गोवर्स पर निर्भर है। एआई-जनित निष्कर्षों की समीक्षा करें और उन पर टिप्पणी करें.
हालाँकि, Google शोधकर्ताओं ने एक अलग दृष्टिकोण अपनाया। उन्होंने एआई रीज़निंग मॉडल, संभवतः जेमिनी 3.1 प्रो, को लीन नामक एक औपचारिक सत्यापन प्रणाली के साथ जोड़ा। जबकि मॉडल ने सबूत तैयार किए, लीन प्रणाली ने सख्त गणितीय नियमों के आधार पर प्रत्येक तार्किक चरण की स्वचालित रूप से जाँच की।
© IE ऑनलाइन मीडिया सर्विसेज प्राइवेट लिमिटेड