AI ने शुद्ध गणित में रचा इतिहास: 2026 की दो बड़ी सफलताएं जो साबित करती हैं कि मशीनें अब नया गणित खोज सकती हैं

2026 में, कृत्रिम बुद्धिमत्ता (AI) ने शुद्ध गणित में एक ऐतिहासिक छलांग लगाई। पहली बार, AI सिस्टम ने स्वतंत्र रूप से उन खुली समस्याओं (open problems) पर बड़े परिणाम दिए, जिन्हें दशकों से गणितज्ञ हल नहीं कर पाए थे। इनमें दो सफलताएं सबसे उल्लेखनीय हैं: मई में OpenAI द्वारा Erdős यूनिट-डिस्टेंस कंजेक्चर को गलत साबित करना, और जुलाई में Anthropic द्वारा जैकोबियन कंजेक्चर का counterexample ढूंढना। ये कोई साधारण प्रगति नहीं है, बल्कि एक नए युग की शुरुआत है, जहां इंसान और AI मिलकर गणितीय शोध करेंगे।

दो बड़ी सफलताएं

OpenAI ने Erdős यूनिट-डिस्टेंस कंजेक्चर को गलत साबित किया (मई 2026)

20 मई, 2026 को, OpenAI ने घोषणा की कि उसके एक आंतरिक सामान्य-उद्देश्यीय रीज़निंग मॉडल ने Erdős यूनिट-डिस्टेंस कंजेक्चर के लिए एक counterexample तैयार किया है। यह समस्या प्रसिद्ध गणितज्ञ पॉल एर्डोस (Paul Erdős) ने 1946 में प्रस्तुत की थी । यह कंजेक्चर इस बारे में था कि समतल (plane) में n बिंदुओं के बीच ठीक एक यूनिट की दूरी वाले जोड़ों की अधिकतम संख्या कितनी हो सकती है। 80 वर्षों तक, गणितज्ञों का मानना था कि सबसे अच्छी संभावित संरचना लगभग एक वर्गाकार ग्रिड (square grid) जैसी दिखती है ।

OpenAI के मॉडल ने इस धारणा को गलत साबित कर दिया। इसने बिंदु संरचनाओं का एक अनंत परिवार (infinite family) तैयार किया, जो ग्रिड की तुलना में बहुपदीय सुधार (polynomial improvement) प्राप्त करता है। इसने साबित किया कि अनंत n के लिए, यूनिट-दूरी वाले जोड़ों की संख्या n^(1+δ) से भी तेजी से बढ़ती है, जहाँ δ > 0 एक निश्चित संख्या है । इस प्रमाण में बीजगणितीय संख्या सिद्धांत (algebraic number theory) के जटिल उपकरणों का इस्तेमाल किया गया, जिनमें गोलोड-शफारेविच सिद्धांत (Golod-Shafarevich theory) और अनंत क्लास फील्ड टावर्स (infinite class field towers) शामिल हैं - ऐसे उपकरण जिन्हें पहले कभी इस ज्यामितीय समस्या से नहीं जोड़ा गया था ।

इस परिणाम को बाहरी गणितज्ञों के एक समूह ने सत्यापित किया, जिसमें थॉमस ब्लूम (Thomas Bloom) भी शामिल थे - वही शोधकर्ता जिसने पहले OpenAI के एक झूठे दावे को उजागर किया था । arXiv पर एक मानव-अनुकूलित साथी पेपर प्रकाशित किया गया । प्रिंसटन के गणितज्ञ विल सॉविन (Will Sawin) ने जल्दी से स्थिरांक को परिष्कृत किया, यह दिखाते हुए कि घातांक (exponent) कम से कम n^1.014 हो सकता है । फील्ड्स मेडलिस्ट टिम गोवर्स (Tim Gowers) उन नौ बाहरी गणितज्ञों में से एक थे जिन्होंने प्रमाण को सत्यापित किया ।

Anthropic के Claude Fable 5 ने जैकोबियन कंजेक्चर का counterexample ढूंढा (जुलाई 2026)

19 जुलाई, 2026 को, गणितज्ञ Levent Alpöge ने, जो Anthropic में एक शोधकर्ता हैं, X पर घोषणा की कि उन्होंने जैकोबियन कंजेक्चर (Jacobian conjecture) का एक counterexample खोजने के लिए Claude Fable 5 मॉडल का उपयोग किया है। यह 87 साल पुरानी एक खुली समस्या थी, जिसे पहली बार 1939 में ओट-हेनरिक केलर (Ott-Heinrich Keller) ने बीजगणितीय ज्यामिति में प्रस्तुत किया था । यह कंजेक्चर, जो फील्ड्स मेडलिस्ट स्टीफन स्मेल (Stephen Smale) की 1998 की अगली सदी की समस्याओं की सूची में 16वें नंबर पर था, यह मानता था कि C^n से C^n तक का एक बहुपदीय मानचित्र (polynomial map) जिसका जैकोबियन निर्धारक (Jacobian determinant) स्थिर और अशून्य हो, वैश्विक रूप से व्युत्क्रमणीय (globally invertible) होना चाहिए ।

यह counterexample एक उल्लेखनीय रूप से संक्षिप्त 216-अक्षर का बहुपदीय मानचित्र है, जो C³ से C³ तक है और जिसका जैकोबियन निर्धारक हर जगह -2 के बराबर है, फिर भी यह तीन अलग-अलग इनपुट ट्रिपल को एक ही आउटपुट पर भेजता है, जिससे वैश्विक व्युत्क्रमणीयता गलत साबित होती है । Alpöge की पोस्ट के कुछ ही घंटों के भीतर, दुनिया भर के गणितज्ञों ने स्वतंत्र रूप से परिणाम को सत्यापित कर लिया, और Lean प्रूफ असिस्टेंट में एक औपचारिक सत्यापन 24 घंटे से भी कम समय में पूरा हो गया ।

प्रख्यात गणितज्ञों, जिनमें टेरेंस ताओ (Terence Tao) और टिमोथी गोवर्स (Timothy Gowers) शामिल हैं, ने इस परिणाम की सराहना की । ताओ ने counterexample का एक ज्यामितीय विश्लेषण प्रकाशित किया, और गणितीय समुदाय द्वारा सत्यापन की व्यापक रूप से पुष्टि की गई । दो-आयामी संस्करण का कंजेक्चर अभी भी खुला है ।

गणित के भविष्य के लिए इन परिणामों का क्या मतलब है

AI अब वास्तव में नए प्रमाण उत्पन्न कर सकता है

दोनों सफलताओं में गहरी वैचारिक छलांगें शामिल हैं, न कि केवल कम्प्यूटेशनल सहायता। यूनिट-डिस्टेंस का खंडन करने के लिए AI को बीजगणितीय संख्या सिद्धांत को सांयोगिक ज्यामिति (combinatorial geometry) से जोड़ना पड़ा - एक ऐसा संबंध जो किसी भी मानव गणितज्ञ ने नहीं बनाया था । जैकोबियन counterexample के लिए विशिष्ट बीजगणितीय गुणों वाला एक सूक्ष्म बहुपदीय मानचित्र बनाना आवश्यक था ।

मानव-AI साझेदारी का मॉडल शक्तिशाली साबित हो रहा है

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

गति तेजी से बढ़ रही है

OpenAI ने बाद में अगस्त 2026 में घोषणा की कि उसी श्रेणी के आंतरिक रीज़निंग मॉडल ने गणित और सैद्धांतिक कंप्यूटर विज्ञान की 10 प्रमुख समस्याओं पर प्रगति की है, जो उच्च-आयामी ज्यामिति, कोडिंग सिद्धांत, समूह सिद्धांत, ऑपरेटर बीजगणित, क्वांटम जटिलता, जाली क्रिप्टोग्राफी और एक्सट्रीमल कॉम्बिनेटरिक्स जैसे क्षेत्रों में फैली हुई हैं । पर्यवेक्षकों ने AI द्वारा संचालित गणित के एक "नए स्वर्ण युग" का वर्णन किया है ।

कुछ महत्वपूर्ण सीमाएं अभी भी हैं

जैकोबियन counterexample केवल आयाम 3 और उससे ऊपर पर लागू होता है - मूल कंजेक्चर आयाम 2 में खुला रहता है । कुछ परिणाम अभी तक पारंपरिक चैनलों के माध्यम से पूर्ण सहकर्मी समीक्षा (peer review) का सामना नहीं कर पाए हैं, और सभी दावे पूरी तरह से प्रकाशित नहीं हुए हैं । लेकिन समग्र दिशा स्पष्ट है: AI एक गणितीय सहायक से एक गणितीय खोजकर्ता में बदल गया है, और शोध में इसकी भूमिका तेजी से विस्तारित होने की संभावना है।

बड़ी तस्वीर

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

जैसा कि गणितज्ञ टेरेंस ताओ ने कहा, जैकोबियन परिणाम मानव-AI सहयोग में एक मील का पत्थर है । मॉडल ने अकेले काम नहीं किया, लेकिन साझेदारी ने एक ऐसा परिणाम दिया जिसे न तो मानव और न ही मशीन स्वतंत्र रूप से प्राप्त कर सकती थी। वह मॉडल - मानव अंतर्ज्ञान जो AI अन्वेषण द्वारा निर्देशित होता है, औपचारिक प्रूफ असिस्टेंट द्वारा सत्यापित - गणितीय खोज के भविष्य को परिभाषित कर सकता है।