एआई अंतर्राष्ट्रीय गणित ओलंपियाड में: अल्फाप्रूफ और अल्फाज्यामिति 2 ने कैसे रजत पदक मानक हासिल किया

गणितीय तर्क मानव संज्ञानात्मक क्षमताओं का एक महत्वपूर्ण पहलू है, जो वैज्ञानिक खोजों और तकनीकी विकास में प्रगति को बढ़ावा देता है। जब हम मानव संज्ञानात्मक क्षमताओं के बराबर कृत्रिम सामान्य बुद्धिमत्ता विकसित करने का प्रयास करते हैं, तो उन्नत गणितीय तर्क क्षमताओं से एआई को लैस करना आवश्यक है। जबकि वर्तमान एआई प्रणालियां बुनियादी गणित की समस्याओं को संभाल सकती हैं, वे जटिल तर्क के साथ संघर्ष करती हैं जो उन्नत गणितीय अनुशासनों जैसे बीजगणित और ज्यामिति के लिए आवश्यक है। हालांकि, यह बदलने की संभावना है, क्योंकि गूगल डीपमाइंड ने महत्वपूर्ण प्रगति की है एआई प्रणाली की गणितीय तर्क क्षमताओं को आगे बढ़ाने में। यह सफलता अंतर्राष्ट्रीय गणित ओलंपियाड (आईएमओ) 2024 में हासिल की गई है। 1959 में स्थापित, आईएमओ सबसे पुराना और सबसे प्रतिष्ठित गणित प्रतियोगिता है, जो विश्वभर के हाई स्कूल के छात्रों को बीजगणित, संयोजन, ज्यामिति और संख्या सिद्धांत में समस्याओं के साथ चुनौती देता है। प्रत्येक वर्ष, युवा गणितज्ञों की टीमें छह बहुत ही चुनौतीपूर्ण समस्याओं को हल करने के लिए प्रतिस्पर्धा करती हैं। इस वर्ष, गूगल डीपमाइंड ने दो एआई प्रणालियों की शुरुआत की: अल्फाप्रूफ, जो औपचारिक गणितीय तर्क पर केंद्रित है, और अल्फाज्यामिति 2, जो ज्यामितीय समस्याओं को हल करने में माहिर है। इन एआई प्रणालियों ने छह में से चार समस्याओं को हल किया, जो एक रजत पदक विजेता के स्तर पर प्रदर्शन करती हैं। इस लेख में, हम इन प्रणालियों के कार्यों का अन्वेषण करेंगे कि वे गणितीय समस्याओं को कैसे हल करती हैं।

अल्फाप्रूफ: एआई और औपचारिक भाषा को गणितीय सिद्धांत के लिए संयोजन

अल्फाप्रूफ एक एआई प्रणाली है जो लीन नामक औपचारिक भाषा का उपयोग करके गणितीय कथनों को साबित करने के लिए डिज़ाइन की गई है। यह जेमिनी को एक पूर्व-प्रशिक्षित भाषा मॉडल के साथ एकीकृत करता है, जो अल्फाजीरो के साथ एक पुनरावृत्ति शिक्षण एल्गोरिदम के साथ जुड़ा हुआ है, जो शतरंज, शोगी और गो में महारत हासिल करने के लिए प्रसिद्ध है।

जेमिनी मॉडल प्राकृतिक भाषा समस्या कथनों को औपचारिक में अनुवादित करता है, जिससे विभिन्न कठिनाई स्तरों की समस्याओं का एक पुस्तकालय बनता है। इसका दो उद्देश्य है: अस्पष्ट प्राकृतिक भाषा को सटीक औपचारिक भाषा में परिवर्तित करना ताकि गणितीय प्रमाणों को सत्यापित किया जा सके और जेमिनी की भविष्यसूचक क्षमताओं का उपयोग करके औपचारिक भाषा सटीकता के साथ संभावित समाधानों की सूची तैयार की जा सके।

जब अल्फाप्रूफ एक समस्या का सामना करता है, तो यह संभावित समाधानों को उत्पन्न करता है और लीन में प्रमाण चरणों की खोज करता है ताकि उन्हें सत्यापित या अस्वीकार किया जा सके। यह मूल रूप से एक न्यूरो-प्रतीकात्मक दृष्टिकोण है, जहां न्यूरल नेटवर्क, जेमिनी, प्राकृतिक भाषा निर्देशों को प्रतीकात्मक औपचारिक भाषा लीन में अनुवादित करता है ताकि कथन को साबित या अस्वीकार किया जा सके। अल्फाजीरो की स्व-खेल तंत्र की तरह, जहां प्रणाली स्वयं के खिलाफ खेल खेलकर सीखती है, अल्फाप्रूफ स्वयं को गणितीय कथनों को साबित करने का प्रयास करके प्रशिक्षित करता है। प्रत्येक प्रमाण प्रयास अल्फाप्रूफ के भाषा मॉडल को परिष्कृत करता है, जिसमें सफल प्रमाण मॉडल की क्षमता को और अधिक चुनौतीपूर्ण समस्याओं का सामना करने में सुदृढ़ करता है।

अंतर्राष्ट्रीय गणित ओलंपियाड (आईएमओ) के लिए, अल्फाप्रूफ को विभिन्न कठिनाई स्तरों और गणितीय विषयों को कवर करने वाली लाखों समस्याओं को साबित या अस्वीकार करके प्रशिक्षित किया गया था। यह प्रशिक्षण प्रतियोगिता के दौरान जारी रहा, जहां अल्फाप्रूफ ने अपने समाधानों को परिष्कृत किया जब तक कि उसने समस्याओं के लिए पूर्ण उत्तर नहीं पाया।

अल्फाज्यामिति 2: ज्यामितीय समस्याओं को हल करने के लिए एलएलएम और प्रतीकात्मक एआई का एकीकरण

अल्फाज्यामिति 2 अल्फाज्यामिति श्रृंखला का नवीनतम संस्करण है, जो ज्यामितीय समस्याओं को हल करने के लिए डिज़ाइन किया गया है जो सटीकता और दक्षता में सुधार करता है। अपने पूर्ववर्ती की नींव पर निर्मित, अल्फाज्यामिति 2 एक न्यूरो-प्रतीकात्मक दृष्टिकोण का उपयोग करता है जो न्यूरल लार्ज लैंग्वेज मॉडल (एलएलएम) को प्रतीकात्मक एआई के साथ मिलाता है। यह एकीकरण नियम-आधारित तर्क को न्यूरल नेटवर्क की भविष्यसूचक क्षमता के साथ जोड़ता है ताकि ज्यामितीय समस्याओं को हल करने के लिए सहायक बिंदुओं की पहचान की जा सके।

जब अल्फाज्यामिति को एक ज्यामितीय समस्या का सामना करना पड़ता है, तो इसका एलएलएम कई संभावनाओं का मूल्यांकन करता है, जो समस्या को हल करने के लिए महत्वपूर्ण निर्माणों की भविष्यवाणी करता है। ये भविष्यवाणियां मूल्यवान संकेत के रूप में कार्य करती हैं, जो प्रतीकात्मक इंजन को सटीक निष्कर्षों की ओर मार्गदर्शन करती हैं और समाधान के करीब ले जाती हैं। यह नवाचार अल्फाज्यामिति को परंपरागत परिदृश्यों से परे जटिल ज्यामितीय चुनौतियों का सामना करने में सक्षम बनाता है।

अल्फाज्यामिति 2 में एक प्रमुख उन्नति जेमिनी एलएलएम का एकीकरण है। यह मॉडल अपने पूर्ववर्ती की तुलना में काफी अधिक सिंथेटिक डेटा पर प्रशिक्षित किया गया है। यह व्यापक प्रशिक्षण इसे अधिक कठिन ज्यामितीय समस्याओं को संभालने में सक्षम बनाता है, जिनमें वस्तुओं की गति और कोण, अनुपात या दूरी के समीकरण शामिल हैं। इसके अलावा, अल्फाज्यामिति 2 में एक प्रतीकात्मक इंजन है जो अपने पूर्ववर्ती की तुलना में दो क्रमों की गति से काम करता है, जो इसे अभूतपूर्व गति के साथ वैकल्पिक समाधानों का अन्वेषण करने में सक्षम बनाता है। ये प्रगति अल्फाज्यामिति 2 को जटिल ज्यामितीय समस्याओं को हल करने के लिए एक शक्तिशाली उपकरण बनाती है, जो इस क्षेत्र में एक नया मानक स्थापित करती है।

अल्फाप्रूफ और अल्फाज्यामिति 2 आईएमओ में

इस वर्ष अंतर्राष्ट्रीय गणित ओलंपियाड (आईएमओ) में, प्रतिभागियों को छह विविध समस्याओं के साथ परीक्षण किया गया था: दो बीजगणित में, एक संख्या सिद्धांत में, एक ज्यामिति में, और दो संयोजन में। गूगल शोधकर्ताओं ने इन समस्याओं को अल्फाप्रूफ और अल्फाज्यामिति 2 के लिए औपचारिक गणितीय भाषा में अनुवादित किया। अल्फाप्रूफ ने दो बीजगणित समस्याओं और एक संख्या सिद्धांत समस्या का सामना किया, जिसमें इस वर्ष केवल पांच मानव प्रतिभागियों द्वारा हल की गई प्रतियोगिता की सबसे कठिन समस्या शामिल थी। इसके बीच, अल्फाज्यामिति 2 ने ज्यामितीय समस्या को सफलतापूर्वक हल किया, हालांकि यह संयोजन समस्याओं को नहीं तोड़ पाया।
प्रत्येक समस्या आईएमओ में सात अंकों की होती है, जो कुल 42 अंकों तक जोड़ती है। अल्फाप्रूफ और अल्फाज्यामिति 2 ने 28 अंक हासिल किए, जो उन समस्याओं पर पूर्ण अंक प्राप्त करने वालों में से एक था जिन्हें उन्होंने हल किया था। यह उन्हें रजत पदक श्रेणी के उच्च अंत में रखा, जहां इस वर्ष 58 में से 609 प्रतिभागियों ने 29 अंकों के स्वर्ण पदक के अंक तक पहुंचा।

अगला कदम: गणित चुनौतियों के लिए प्राकृतिक भाषा

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

नीचे की रेखा

अल्फाप्रूफ और अल्फाज्यामिति 2 का प्रदर्शन अंतर्राष्ट्रीय गणित ओलंपियाड में एआई की जटिल गणितीय तर्क क्षमता में एक उल्लेखनीय छलांग है। दोनों प्रणालियों ने छह में से चार चुनौतीपूर्ण समस्याओं को हल करके रजत पदक स्तर का प्रदर्शन किया, जो औपचारिक प्रमाण और ज्यामितीय समस्या समाधान में महत्वपूर्ण प्रगति का प्रदर्शन करता है। उनकी उपलब्धियों के बावजूद, इन एआई प्रणालियों पर अभी भी मानव इनपुट की आवश्यकता है ताकि समस्याओं को औपचारिक भाषा में अनुवादित किया जा सके और अन्य एआई प्रणालियों के साथ एकीकरण की चुनौतियों का सामना करना पड़ता है। भविष्य के शोध का उद्देश्य इन प्रणालियों को और अधिक उन्नत बनाना है, संभावित रूप से व्यापक गणितीय चुनौतियों के पार एकीकरण के लिए प्राकृतिक भाषा तर्क को एकीकृत करना।