Anthropic कंपनी के एक अनौपचारिक आर्टिफिशियल इंटेलिजेंस मॉडल ने गणित की एक अनसुलझी समस्या - रीमान परिकल्पना में प्रगति हासिल की है। हालांकि एआई ने उन समाधानों के लिए निचले सीमा को काफी बढ़ा दिया है जिनके लिए परिकल्पना सही मानी जाती है, अभी तक कोई अंतिम प्रमाण नहीं मिला है।
इस परिणाम की अपील उस तरीके से जुड़ी है जिसका उपयोग किया गया था। Anthropic के एक कर्मचारी, जिसके पास महत्वपूर्ण गणितीय पृष्ठभूमि नहीं थी, ने मॉडल से परिकल्पना को सिद्ध करने का प्रयास करने के लिए कहा, जिसके बाद उसने लगभग डेढ़ दिन तक एआई को काम का समन्वय करने दिया।
रीमान परिकल्पना गणित के सबसे बड़े रहस्यों में से एक है और यह अभाज्य संख्याओं के वितरण से संबंधित है। इस परिकल्पना के सामान्य प्रमाण के लिए वर्तमान में 1 मिलियन अमेरिकी डॉलर का पुरस्कार प्रस्तावित है, जो लगभग 5.16 मिलियन ब्राज़ीलियाई रियल के बराबर है।
अन्य आर्टिफिशियल इंटेलिजेंस सिस्टम की तरह, Anthropic प्रणाली भी इस समस्या को निर्णायक रूप से हल करने में असमर्थ रही। फिर भी, हासिल की गई प्रगति दर्शाती है कि ऐसे उपकरण मौजूदा ज्ञान पर आधारित उत्तर देने से कहीं अधिक गहराई से जटिल गणितीय समस्याओं की खोज करने में सक्षम हैं।
पूरी प्रक्रिया एक कर्मचारी द्वारा एआई से परिकल्पना को सिद्ध करने के लिए 'सत्य के प्रयास' का सीधा अनुरोध करने से शुरू हुई। इसके बाद, मॉडल ने लगभग 36 घंटों तक कार्य का प्रबंधन करना शुरू कर दिया।
कार्य में भारी संख्या में प्रयास और जांच शामिल थे: तीस एजेंटों ने नए विचार विकसित करने की कोशिश की, लेकिन मूल दृष्टिकोण नहीं ढूंढ पाए। अन्य 13 एजेंटों को तर्कों की जांच के लिए नियुक्त किया गया था, और अंतिम दो ने लेख का प्रारंभिक संस्करण तैयार करने में मदद की।
कार्य के फुटनोट में उल्लेख किया गया है कि '60 एजेंटों में से दो मुख्य गणितीय विचारों के विकास के लिए जिम्मेदार थे'। परिणाम की पुष्टि Anthropic के दो गणितज्ञों द्वारा की गई और ओपन-सोर्स प्रूफ असिस्टेंट Lean का उपयोग करके औपचारिक बनाया गया।
यह मामला बड़े भाषा मॉडल से जुड़े उपलब्धियों की एक श्रृंखला का हिस्सा है। इस वर्ष विभिन्न एआई सिस्टम पहले ही अर्देश की समस्याओं को हल करने में मदद कर चुके हैं। इसके अलावा, Anthropic ने याकोबी की पुरानी परिकल्पना को खंडित करने वाला एक पेपर प्रस्तुत किया है, जबकि OpenAI ने अपने आंतरिक मॉडल Astra द्वारा सत्यापित दस परिणाम जारी किए हैं।



