हाल ही में, xAI के इंजीनियर Hieu Pham ने सोशल मीडिया पर एक "विस्फोटक" समाचार साझा किया, जिसमें दावा किया गया कि xAI के बड़े भाषा मॉडल Grok3 ने रिमान Conjecture को सफलतापूर्वक साबित किया है, और इस कारण से मॉडल के प्रशिक्षण को रोक दिया गया है। यह समाचार तेजी से AI समुदाय में चर्चा का विषय बन गया, और नेटिज़न्स ने हैरानी जताई, सत्यता को समझने में कठिनाई महसूस की। आखिरकार, रिमान Conjecture, जो कि सहस्त्राब्दी के सात प्रमुख गणितीय समस्याओं में से एक है, को "अटकलों का ताज" कहा जाता है, इसकी कठिनाई की कल्पना की जा सकती है।
कुछ घंटों बाद, Pham ने एक अन्य पोस्ट में जवाब दिया: यह केवल एक मजाक था। यह "गड़बड़ी" नेटिज़न Andrew Curran की रिपोर्ट से शुरू हुई, जिसने दावा किया कि Grok3 ने प्रशिक्षण के दौरान "आपात स्थिति" का सामना किया।
जब अफवाहें और बढ़ गईं, तो xAI के सह-संस्थापक Greg Yang ने मजाक में लिखा, "हां हां, Grok3 प्रशिक्षण करते-करते ऑफिस के सुरक्षा गार्ड पर हमला करने लगा।" एक अन्य शोधकर्ता Heinrich Kuttler ने भी मजाक में कहा, "स्थिति बहुत खराब है! बाद में हमने nan (Not a Number, गैर-संख्या) का उपयोग करके सभी खराब वेट्स को बदल दिया, तभी हम ठीक हो सके।" नेटिज़न्स ने भी इस मजाक में शामिल होना शुरू कर दिया।
हालांकि यह "नाटक" अंततः मजाक में समाप्त हुआ, लेकिन इसने AI की गणितीय क्षमताओं पर विचार करने के लिए लोगों को प्रेरित किया।
तो, AI वास्तव में रिमान Conjecture जैसी सहस्त्राब्दी गणितीय समस्याओं को हल करने के लिए कितना दूर है?
हम Google DeepMind टीम द्वारा विकसित AI गणितीय प्रमाण उपकरण AlphaProof के प्रदर्शन से कुछ जानकारी प्राप्त कर सकते हैं। AlphaProof ने 2024 के अंतरराष्ट्रीय गणित ओलंपियाड (IMO) में तीन प्रश्नों को सफलतापूर्वक हल किया, जिसमें छठा प्रश्न "अंतिम बॉस" के रूप में जाना जाता है, जिसकी कठिनाई अत्यधिक है। AlphaProof ने समस्या हल करते समय मजबूत तार्किक तर्क शक्ति और रचनात्मक सोच का प्रदर्शन किया, जैसे कि दूसरे प्रश्न में, इसने प्रमाण बनाने के लिए ab+1 पर विचार करने का चतुराई से चयन किया, जो मानवों की समस्या समाधान सोच के साथ मेल खाता है।
हालांकि AlphaProof ने उल्लेखनीय परिणाम हासिल किए हैं, लेकिन रिमान Conjecture जैसी शीर्ष गणितीय समस्याओं को हल करने के लिए AI को अभी लंबा रास्ता तय करना है। रिमान Conjecture को 1859 में प्रस्तुत किए जाने के बाद से 165 वर्ष हो चुके हैं, और अनगिनत गणितज्ञों ने इसके लिए अपना सर्वस्व अर्पित किया है, लेकिन इसे पूरी तरह से साबित नहीं किया जा सका है।
AI को रिमान Conjecture को साबित करने के लिए मजबूत गणना शक्ति और गहन तर्क शक्ति की आवश्यकता होगी। वर्तमान में, AI सभी संभावित प्रमाणों की खोज करने के लिए ब्रूट फोर्स विधि का उपयोग कर सकता है, लेकिन इसके लिए खगोलीय मात्रा में गणना संसाधनों की आवश्यकता होती है। इसके अलावा, AI को मौजूदा गणितीय उपकरणों को समझने और लागू करने की क्षमता भी होनी चाहिए, ताकि गणितीय अनुसंधान में अधिक महत्वपूर्ण भूमिका निभा सके।
कुछ AI विशेषज्ञों का अनुमान है कि 2026 के अंत तक, AI "सुपर गणितज्ञ" बन जाएगा, जो रिमान Conjecture जैसी समस्याओं को हल करने में सक्षम होगा। मस्क ने भी वादा किया था कि 200,000 H100 मशीनों के प्रशिक्षण से Grok3 अंत में जारी किया जाएगा, और यह आश्चर्यजनक प्रदर्शन लाएगा।
भविष्य में, क्या AI गणित के क्षेत्र में महत्वपूर्ण प्रगति कर सकेगा, आइए हम इसकी प्रतीक्षा करें।
