जैकोबियन कन्जेक्चर क्या था और गणितज्ञ लेवेंट अल्पोगे ने इसे गलत साबित करने के लिए Anthropic के Claude Fable 5 का इस्तेमाल कैसे किया?

यह कन्जेक्चर इतना प्रसिद्ध था कि इसे स्टीफन स्मेल (Stephen Smale) की 1998 की 'अगली सदी के लिए 18 गणितीय समस्याओं' की सूची में 16वें नंबर पर रखा गया था। अपने लंबे इतिहास में इसने कई गलत सबूतों (फॉल्स प्रूफ) को आकर्षित किया था ।

लेवेंट अल्पोगे ने कैसे किया Claude Fable 5 का इस्तेमाल?

तारीख: 19-20 जुलाई, 2026 की रात।
मौका: FIFA क्लब विश्व कप का फाइनल मैच।

गणितज्ञ लेवेंट अल्पोगे (Levent Alpöge), जो एक संख्या सिद्धांतकार (नंबर थियोरिस्ट) हैं और हार्वर्ड के सोसाइटी ऑफ फेलो में जूनियर फेलोशिप के बाद अब Anthropic में काम करते हैं, अपने दोस्त अखिल माथ्यू (Akhil Mathew) के साथ मैच देख रहे थे । दोस्त ने जैकोबियन कन्जेक्चर के बारे में पूछा तो अल्पोगे ने तुरंत Anthropic के नवीनतम AI मॉडल Claude Fable 5 से इस समस्या को हल करने को कहा।

AI ने जो जवाब दिया, वह चौंका देने वाला था: एक ठोस 216 अक्षरों का बहुपद मैप (polynomial map)। इस मैप में वे सभी गुण थे जो कन्जेक्चर मांगता है (अशून्य स्थिर जैकोबियन), लेकिन यह इंजेक्टिव (एक-से-एक) नहीं था, जो कन्जेक्चर के निष्कर्ष का उल्लंघन करता है ।

अल्पोगे ने यह परिणाम 19 जुलाई, 2026 को X (पूर्व में Twitter) पर पोस्ट किया। उन्होंने लिखा: "hello there the jacobian conjecture is false thanx to my close friend akhil for asking about it and my other close friend fable for working during the world cup final" ।

वह विशिष्ट काउंटरएग्जांपल (Counterexample)

यह counterexample एक बहुपद मैप F: ℂ³ → ℂ³ है, जिसे स्पष्ट रूप से इस प्रकार परिभाषित किया गया है :

P(x, y, z) = (1 + xy)³z + y²(1 + xy)(4 + 3xy)
Q(x, y, z) = y + 3x(1 + xy)²z + 3xy²(4 + 3xy)
R(x, y, z) = 2x − 3x²y − x³z

दो मुख्य गुण जो इसे विशेष बनाते हैं :

1. जैकोबियन सारणिक: det Jac F = −2 (एक अशून्य स्थिरांक), इसलिए यह एक केलर मैप है।
2. गैर-इंजेक्टिव (Non-injective): तीन अलग-अलग इनपुट बिंदु एक ही आउटपुट (-1/4, 0, 0) पर मैप होते हैं:
   • (0, 0, -1/4)
   • (1, -3/2, 13/2)
   • (-1, 3/2, 13/2)

चूंकि एक गैर-इंजेक्टिव मैप का कोई प्रतिलोम (inverse) नहीं हो सकता, यह F जैकोबियन कन्जेक्चर का खंडन करता है। यह निर्माण अभिलक्षण शून्य (characteristic zero) वाले किसी भी क्षेत्र (फील्ड) पर काम करता है, क्योंकि सभी गुणांक और गवाह बिंदु परिमेय (रैशनल) हैं ।

एक साथी प्रीप्रिंट (दिनांक 20 जुलाई, 2026) पूर्ण बीजगणितीय सत्यापन प्रदान करता है, F की वैश्विक ज्यामिति निर्धारित करता है, और साबित करता है कि F का नॉनप्रोप्रनेस सेट (nonproperness set) एक हाइपरसरफेस है - वह तंत्र जिसके द्वारा मैप एक बहुपद ऑटोमॉर्फिज्म नहीं हो पाता । पेपर ऐसे अनगिनत counterexamples के परिवारों का निर्माण भी करता है ।

दो चर वाले मामले की स्थिति

जैकोबियन कन्जेक्चर का n = 2 (दो जटिल चर) वाला मामला जुलाई 2026 तक एक खुली समस्या बना हुआ है। यह counterexample केवल n ≥ 3 आयामों के लिए कन्जेक्चर को गलत साबित करता है ।

सत्यापन और पीयर रिव्यू की वर्तमान स्थिति

22 जुलाई, 2026 तक, निम्नलिखित स्थिति है:

• गणितीय रूप से विश्वसनीय: counterexample स्पष्ट और यांत्रिक रूप से जांचने योग्य है। गणितज्ञ इसे गंभीरता से ले रहे हैं । Lean 4 में एक औपचारिक सत्यापन (formal verification) तैयार किया गया है, जो कंटीन्यूअस इंटीग्रेशन (CI) बिल्ड को पास करता है ।
• अभी तक पीयर-रिव्यू प्रकाशन नहीं: नवीनतम रिपोर्टों के अनुसार, कोई प्रकाशित पीयर-रिव्यू पेपर या arXiv प्रीप्रिंट मौजूद नहीं है । सामग्री सोशल मीडिया पोस्ट और ulam.ai पर एक साथी PDF के रूप में मौजूद है, लेकिन औपचारिक जर्नल समीक्षा से नहीं गुज़री है।
• Wikipedia अपडेट हो चुका है: जैकोबियन कन्जेक्चर पर विकिपीडिया प्रविष्टि अब counterexample को N > 2 के लिए कन्जेक्चर को गलत साबित करने वाली के रूप में सूचीबद्ध करती है ।
• समुदाय का आकलन: टिप्पणीकारों के बीच आम सहमति यह है कि गणित लगभग निश्चित रूप से सही है, लेकिन इस तिथि तक औपचारिक स्वीकृति और आधिकारिक रिकॉर्ड में उद्धरण लंबित है । परिणाम का श्रेय मानव-AI सहयोग को दिया जाता है, न कि अकेले Claude को ।

निचली पंक्ति: जैकोबियन कन्जेक्चर ≥ 3 आयामों के लिए वास्तव में गलत प्रतीत होता है। दो चर वाला मामला अभी भी खुला है। counterexample गणितीय रूप से सही है और स्वतंत्र रूप से सत्यापित किया जा चुका है, लेकिन इसने अभी तक औपचारिक पीयर रिव्यू पूरा नहीं किया है।