Claude AI एजेंटों ने क्रिटिकल लाइन (critical line) पर स्थित Riemann-zeta ज़ीरो के सत्यापित अनुपात को 41.6% से बढ़ाकर 67.2% कर दिया है। यह उछाल रीमान परिकल्पना (Riemann hypothesis) को सिद्ध नहीं करता है, लेकिन यह दर्शाता है कि बड़े पैमाने पर AI-संचालित वर्कफ़्लो गणितीय रूप से जांचने योग्य परिणाम दे सकते हैं।

रीमान परिकल्पना (Riemann hypothesis) क्यों महत्वपूर्ण है

यह परिकल्पना दावा करती है कि Riemann zeta function के प्रत्येक गैर-तुच्छ (non-trivial) ज़ीरो का वास्तविक भाग (real part) ठीक ½ होता है। वे ज़ीरो अभाज्य संख्याओं (prime numbers) के वितरण को नियंत्रित करते हैं, इसलिए इस अनुमान की पुष्टि करने से अभाज्य पैटर्न और जटिल विश्लेषण (complex analysis) के बीच संबंध और मजबूत हो जाएगा। अब तक, केवल कुछ ही ज़ीरो के "क्रिटिकल लाइन" पर होने को सिद्ध किया जा सका है। इस अनुपात को बढ़ाना प्रगति के लिए एक मानक बेंचमार्क है।

Anthropic 67.2% तक कैसे पहुँचा

Anthropic ने अपने कोड-केंद्रित मॉडल, Claude Code को दो गहन शोध सत्रों के माध्यम से चलाया। दूसरे सत्र में 60 सब-एजेंट तैनात किए गए जिन्होंने 2,400 से अधिक शेल कमांड (shell commands) के माध्यम से समन्वय किया और सैकड़ों Python स्क्रिप्ट तैयार कीं। कुल मिलाकर इस प्रक्रिया में लगभग 31 मिलियन आउटपुट टोकन निकले—जो एक लघु उपन्यास के आकार के बराबर हैं।

टीम के गणितज्ञों ने परिणामी पेपर का ऑडिट किया और Lean 4 formalization (एक मशीन-चेक्ड प्रूफ लैंग्वेज) जारी किया, ताकि अन्य लोग प्रत्येक चरण को सत्यापित कर सकें। इस कार्य में Claude के एक आंतरिक, अनरिलीज़्ड रिसर्च वर्ज़न का उपयोग किया गया था, और सत्यापन औपचारिक पीयर रिव्यू (peer review) के बजाय आंतरिक जांच और संक्षिप्त विशेषज्ञ समीक्षाओं पर निर्भर था।

परिणाम वास्तव में क्या कहता है

नया पेपर क्रिटिकल लाइन पर ज़ीरो के सिद्ध निचले स्तर (lower bound) को 41.6% से बढ़ाकर 67.2% कर देता है। यह आंकड़ा एक निचली सीमा है: लाइन पर बहुत अधिक ज़ीरो हो सकते हैं लेकिन विश्लेषण उन्हें शामिल नहीं कर पाया।

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

AI दृष्टिकोण की सीमाएं

Anthropic के अपने बयान स्पष्ट करते हैं कि उन्हें उम्मीद नहीं है कि वर्तमान वर्कफ़्लो जल्द ही इस परिकल्पना को सुलझा देगा। तार्किक कमियों के लिए मनुष्यों को अभी भी मॉडल के आउटपुट की समीक्षा करनी होगी, और आंतरिक सत्यापन प्रक्रिया में सामुदायिक पीयर रिव्यू जैसी कठोरता की कमी है। Claude का रिसर्च वर्ज़न सार्वजनिक रूप से उपलब्ध नहीं है, इसलिए स्वतंत्र प्रतिकृति (replication) सीमित है।

आगे क्या होगा

Lean 4 formalization का जारी होना व्यापक गणितीय समुदाय को प्रमाण का ऑडिट करने के लिए आमंत्रित करता है।

निष्कर्ष

Anthropic के Claude एजेंटों ने प्रदर्शित किया है कि AI जटिल गणितीय कथनों के सत्यापन में तेजी ला सकता है, जिससे Riemann-zeta ज़ीरो के ज्ञात निचले स्तर (lower bound) में महत्वपूर्ण सुधार हुआ है। यह सफलता बड़े रिसर्च-एजेंट वर्कफ़्लो के लिए एक प्रूफ-ऑफ-कॉन्सेप्ट है, न कि स्वयं मिलेनियम-प्राइज समस्या का समाधान।