Claude Fable 5 और जैकोबियन अनुमेय: क्या सिद्ध हुआ और क्या नहीं

वर्ल्ड कप फाइनल की रात, ज्यादातर लोग फुटबॉल देख रहे थे। इंटरनेट के एक छोटे से कोने में गणित का इतिहास आगे बढ़ रहा था।

Anthropic के शोधकर्ता Levent Alpöge ने X पर एक छोटा संदेश पोस्ट किया। उन्होंने कहा कि जैकोबियन अनुमेय गलत है। यह 1939 से अनसुलझी पड़ी समस्या रही है। उन्होंने समस्या सुझाने के लिए एक सहयोगी को श्रेय दिया। मैच के दौरान काम करने के लिए Claude Fable 5 को श्रेय दिया।

अगले दिन तक, गणितज्ञों ने इसे हाथ से जाँच लिया। यह ठिक रहा।

लेकिन "AI ने 87 साल पुरानी गणित समस्या तोड़ी" जैसी सुर्खी उससे जुड़े विवरणों से तेज़ चलती है। तो आइए रुककर देखें। यहां असल में नया क्या है? क्या नहीं है? और क्या आप इसे खुद जाँच सकते हैं?

आप कर सकते हैं। करीब पंद्रह पंक्तियों की Python में। हम उस पर आएंगे।

संक्षिप्त उत्तर

Claude Fable 5 ने तीन-आयामी कॉम्प्लेक्स स्पेस से उसी में जाने वाला एक बहुपद प्रतिचित्र बनाने में मदद की, जिसे ℂ³ → ℂ³ लिखा जाता है। इसका जैकोबियन डेटर्मिनेंट हर जगह स्थिर -2 है, जो ठीक Keller के 1939 के अनुमेय की शर्त है, फिर भी यह प्रतिचित्र तीन अलग-अलग इनपुट बिंदुओं को एक ही आउटपुट पर भेजता है। यह एक ही उदाहरण आयाम तीन और उससे ऊपर के लिए अनुमेय को खारिज कर देता है। समस्या के मूल दो-चर वाले संस्करण पर काम अब भी बाकी है, और अभी कोई सहकर्मी-समीक्षित शोधपत्र नहीं है—केवल एक सत्यापित गणना और प्रीप्रिंट है।

एक पैराग्राफ में पूरी कहानी यही है। इस लेख का बाकी हिस्सा बताता है कि इनमें से हर वाक्यांश क्यों मायने रखता है।

जैकोबियन अनुमेय क्या है?

ऐसा फलन सोचें जो संख्याओं की एक सूची ले और एक नई सूची दे। यह एक स्पेस से दूसरे स्पेस का "मैप" है। गणितज्ञ ऐसे मैप्स के बारे में एक सरल सवाल पूछते हैं: क्या आप हमेशा उल्टा चल सकते हैं? अगर आउटपुट पता हो, तो क्या आप ठीक वही इनपुट वापस पा सकते हैं जिसने उसे बनाया था?

अगर आपने मशीन लर्निंग की है, तो आपने शायद बिना किसी तमाशे के ही इस सवाल के केंद्र में मौजूद वस्तु से मुलाकात कर ली है। जैकोबियन किसी मैप के आंशिक अवकलों का मैट्रिक्स है: वही चीज़ जिसे बैकप्रोपेगेशन हर लेयर पर गुणा करता है। नॉर्मलाइज़िंग फ्लोज़ को भी इसका डेटर्मिनेंट चाहिए, ताकि नेटवर्क से गुजरते समय प्रायिकता द्रव्यमान कैसे फैलता-सिकुड़ता है, उसका हिसाब रहे। वही मैट्रिक्स। बस मुहल्ला अलग।

कलन आपको उलटनेयोग्यता की एक स्थानीय कसौटी देता है—ठीक इसी मैट्रिक्स पर आधारित: जैकोबियन डेटर्मिनेंट। अगर यह किसी बिंदु पर शून्य नहीं है, तो मैप उस बिंदु के पास उलटा जा सकता है।

लेकिन किसी बिंदु के पास होना, हर जगह होने जैसा नहीं है। यहाँ सबसे साफ उदाहरण है जो मैं जानता हूँ—और यह दो पंक्तियों में हो जाता है:

import numpy as np

f = lambda x, y: (np.exp(x) * np.cos(y), np.exp(x) * np.sin(y))

print(f(0, 0))              # (1.0, 0.0)
print(f(0, 2 * np.pi))      # (1.0, ~0.0) — same output, different input

इस मैप का जैकोबियन डेटर्मिनेंट e^²ˣ है, जो कभी शून्य नहीं होता। यह समतल के हर एक बिंदु पर स्थानीय कसौटी पास करता है। फिर भी इसे उलटा नहीं जा सकता, क्योंकि यह लपेटता है: दो अलग-अलग रास्ते, एक ही घर।

ध्यान दें, हालांकि, कि इस उदाहरण में घातांकीय फलन का प्रयोग हुआ है। 1939 में, जर्मन गणितज्ञ Ott-Heinrich Keller ने पूछा कि क्या बहुपद बेहतर व्यवहार करते हैं। उनका सवाल: यदि किसी बहुपद मैप का जैकोबियन डेटर्मिनेंट न केवल हर जगह अशून्य हो, बल्कि हर जगह एक ही स्थिरांक हो, तो क्या यह अंततः पूर्ण, वैश्विक उलटनेयोग्यता की गारंटी देता है?

87 वर्षों तक कोई इसका उत्तर नहीं दे सका। न कोई सिद्धि। न कोई प्रतिवाद। यही वह अनुमेय है जिसे Claude Fable 5 ने अभी चोट पहुँचाई है।

Claude Fable 5 ने वास्तव में क्या पाया

Alpöge की पोस्ट में ℂ³ से वापस उसी में जाने वाला एक स्पष्ट बहुपद मैप शामिल था। इसका जैकोबियन डेटर्मिनेंट हर एक बिंदु पर एक स्थिरांक, -2, निकलता है। यह Keller की ठीक-ठीक शर्त है। और फिर भी तीन अलग-अलग बिंदु अंदर जाते हैं, और तीनों का आउटपुट एक ही आता है।

जिसके पास भी कंप्यूटर अल्जेब्रा टूल है, वह उन्हें रखकर जाँच सकता है। ठीक वही हुआ: गणितज्ञों ने कुछ घंटों में गणना चलाई, और अंकगणित सही निकला।

क्योंकि प्रतिवाद तीन आयामों में है, यह हर उच्चतर आयाम के लिए भी अनुमेय को तोड़ देता है। 3D मैप लें, उसे अतिरिक्त अनछुए चर से पैड करें, और आपके पास चार, पाँच, या सौ आयामों में एक काम करता हुआ प्रतिवाद होगा। पैडिंग केवल ऊपर की ओर जाती है। यह 3D प्रतिवाद को दो चरों में नहीं समेट सकती—इसीलिए इस लेख का अंतिम खंड मौजूद है।

Python में खुद जाँचें

यहीं यह सीमा-रेखा वाली AI की कहानी आपके नोटबुक में चलने वाली कसरत बन जाती है। इसे चलाना सार्थक है। अपनी मशीन पर ठीक-ठीक अंकगणित में प्रतिवाद टिकता हुआ देखना बातें साफ कर देता है। आपको बस sympy चाहिए, और कुछ नहीं।

पहले, मैप परिभाषित करें और डेटर्मिनेंट की पुष्टि करें:

import sympy as sp

x, y, z = sp.symbols("x y z")

# The map Claude Fable 5 helped construct, from C^3 to C^3
f1 = (1 + x * y) ** 3 * z + y**2 * (1 + x * y) * (4 + 3 * x * y)
f2 = y + 3 * x * (1 + x * y) ** 2 * z + 3 * x * y**2 * (4 + 3 * x * y)
f3 = 2 * x - 3 * x**2 * y - x**3 * z

# Keller's condition: the Jacobian determinant must be a nonzero constant
jacobian = sp.Matrix([f1, f2, f3]).jacobian([x, y, z])
print(sp.simplify(jacobian.det()))

-2

"लगभग -2" नहीं। हर बिंदु के लिए, प्रतीकात्मक रूप से, ठीक-ठीक -2—ℂ³ में। एक शर्त पूरी हुई।

अब टकराव। ये तीन बिंदु मैंने SymPy से F(v) = F(1, 1, 1) हल करवाकर पाए। Alpöge की मूल पोस्ट में अपनी अलग सूची है, और दोनों काम करती हैं:

s = sp.sqrt(53)

points = [
    (1, 1, 1),
    (sp.Rational(-1, 2) - 7 * s / 106, 25 - 3 * s, -134090 + 18420 * s),
    (sp.Rational(-1, 2) + 7 * s / 106, 25 + 3 * s, -134090 - 18420 * s),
]

for p in points:
    image = [sp.simplify(f.subs({x: p[0], y: p[1], z: p[2]}))
             for f in (f1, f2, f3)]
    print(image)

[22, 34, -2]
[22, 34, -2]
[22, 34, -2]

तीन सचमुच अलग इनपुट। एक आउटपुट। अगर तीन इनपुट एक ही उत्तर दें, तो कोई इनवर्स अस्तित्व में नहीं हो सकता, और Keller का अनुमेय खत्म। आपने अभी अपनी मशीन पर, ठीक-ठीक अंकगणित में, उस गणना की पुष्टि की जिसने 87 साल पुरानी समस्या को सुलझाया।

अगर आपने कोड छोड़ दिया, तो सार यह है: दावे के दोनों हिस्से—स्थिर डेटर्मिनेंट और टकराते बिंदु—प्रतीकात्मक सत्यापन से पास होते हैं। फ्लोटिंग-पॉइंट पर भरोसा करने की ज़रूरत नहीं।

रुकिए, क्या किसी ने पहले ही इसे खारिज नहीं किया था?

आगे बढ़ने से पहले, Alpöge की पोस्ट के जवाबों में आपको जो दिखा होगा, उसे संबोधित करना ज़रूरी है, क्योंकि इस क्षेत्र में एक पुराना परिणाम बार-बार आता है और फर्क अहम है।

1994 में, Sergey Pinchuk ने दो-चर, वास्तविक-संख्या वाला एक बहुपद मैप पाया जो हर जगह स्थानीय रूप से उलटने योग्य था, लेकिन वैश्विक रूप से नहीं। यह प्रसिद्ध निर्माण है, और यह मान लेना आकर्षक लगता है कि Fable 5 का संस्करण बस उसी विचार को तीसरे आयाम में खींचना है।

ऐसा नहीं है। Pinchuk के मैप में केवल यह चाहिए कि जैकोबियन डेटर्मिनेंट अशून्य हो। इसका मान बिंदु-बिंदु बदल सकता है, और पूरा निर्माण केवल वास्तविक संख्याओं पर काम करता है। यह एक कमजोर सवाल का उत्तर देता है, जिसे कभी-कभी "स्ट्रॉन्ग रियल जैकोबियन अनुमेय" कहा जाता है। Keller का मूल सवाल कॉम्प्लेक्स संख्याएँ और एक तय स्थिरांक माँगता है—एक ऐसी बाधा जिसे Pinchuk का निर्माण कभी पार करने के लिए बना ही नहीं था। गणितज्ञ तीन दशकों से इस अंतर को जानते हैं।

कॉम्प्लेक्स संख्याएँ बाधा क्यों बढ़ाती हैं? मोटे तौर पर: वास्तविक संख्याओं पर, कोई बहुपद मुश्किल जगहों पर बस इस तरह बच निकल सकता है कि वहाँ वास्तविक हल हों ही नहीं। x² + 1 वास्तविक रेखा पर कभी शून्य नहीं होता, पर ℂ में होना ही पड़ता है। कॉम्प्लेक्स स्पेस मैप को कहीं छिपने नहीं देता, इसलिए Keller की शर्त वहाँ बच जाना कहीं अधिक सख्त मांग है। पहले वाला घातांकीय मैप यही इशारा कर चुका था, क्योंकि जो रैप-अराउंड उसे तोड़ता है, वह पूरी तरह कॉम्प्लेक्स-नंबर वाली घटना है।

दोनों परिणामों में परिवार-जैसी समानता है। दोनों स्थानीय रूप से उलटनेयोग्य और वैश्विक रूप से उलटनेयोग्य के बीच के अंतर का फायदा उठाते हैं। यह इस बात का संकेत है कि गणित खुद पर कैसे बनती है—यह प्रमाण नहीं कि यहाँ कुछ नया नहीं हुआ।

क्या अब भी अनसुलझा है

दो-चर का मामला अब भी खुला है। यही अनुमेय का मूल, सबसे अधिक अध्ययन किया गया संस्करण है—समतल से वापस समतल में जाने वाले मैप्स के लिए—और जैसा पहले कहा गया, कोई भी पैडिंग 3D प्रतिवाद को इसमें नहीं लाती। कई गणितज्ञ समतल के मामले को अधिक कठिन और अधिक केंद्रीय समस्या मानते हैं। अब यह अनुमेय का बचा हुआ कोर है, न कि अभी-अभी सुलझे बड़े सवाल का छोटा रूप।

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

एक गहरा अंतर भी है। कोई पूरी तरह समझा नहीं सकता कि प्रतिवाद काम क्यों करता है। प्रतीकात्मक जाँच टकराव को वास्तविक साबित करती है; वह इसके पीछे की कहानी आपके हाथ में नहीं धरती—वह किस्म का स्पष्टीकरण जिससे कोई गणितज्ञ इसे शुरू से फिर बना सके। शिकागो विश्वविद्यालय के गणितज्ञ Akhil Mathew, जिन्होंने समस्या सुझाई थी, ने ठीक कहा: आप उत्तर की पुष्टि कर सकते हैं, पर एक कहानी होना बेहतर होता।

खोज की प्रक्रिया खुद थोड़ी धुँधली रहती है। एक इंसान ने सवाल रखा, एक AI ने काम किया, एक इंसान ने परिणाम घोषित किया। यह श्रेय-रेखा न तो प्रॉम्प्ट्स दिखाती है, न गलत शुरुआतें, न यह कि रास्ते में कितनी दिशा-निर्देशी हुई। यह AI-सहायता प्राप्त सिद्धियों को श्रेय कैसे मिले, इस पर एक असल सवाल है—और इससे अलग कि गणित ठहरता है या नहीं। वह ठहरता है।

अंतिम विचार

गणित असली है। दशकों से खुला पड़ा एक अनुमेय तीन आयाम और उससे ऊपर के लिए एक सच्चा छेद दिखाता है, जिसे मानक औज़ारों से स्वतंत्र रूप से पुष्ट किया गया है, और यह Pinchuk के 1994 के परिणाम की पुनरावृत्ति नहीं है। जो यह नहीं है, वह "जैकोबियन अनुमेय" का पूरा समाधान है। समतल का मामला अब भी खड़ा है, और यह परिणाम उस तरह के स्पष्टीकरण के बिना आता है जिसे गणित अक्सर उत्तर जितना ही महत्व देती है।

यह एक पैटर्न का हिस्सा भी है। 2026 भर में सीमा-रेखा के मॉडल्स ने संयोजनशास्त्र और संख्या सिद्धांत दोनों में लंबे समय से खुले समस्याओं पर वार किए हैं। इसे उसी रुझान में एक और डेटा पॉइंट की तरह पढ़ें, किसी एकल अपवाद की तरह नहीं।

तकनीकी समस्याओं पर AI के साथ काम करना सीखने वालों के लिए सबक यह नहीं है कि "AI अब शोध-गणित कर सकता है।" यह संकरा है: ये मॉडल उन क्षेत्रों में ठोस ऑब्जेक्ट्स बनाने में अच्छे होते जा रहे हैं जहाँ सफलता का एक सटीक सत्यापक होता है—और जैसा आपने ऊपर देखा, आप वह सत्यापक बन सकते हैं एक pip install sympy से। जनरेशन तेज़ी से आगे बढ़ रही है। सत्यापन कदम से कदम मिला रहा है। समझ को अभी थोड़ा और पकड़ बनानी है।

यहाँ दो कौशल सबसे काम के हैं—रैखिक बीजगणित और प्रतीकात्मक Python: डेटर्मिनेंट, इनवर्टिबिलिटी, और दावों को अनुमानित अंकगणित पर भरोसा करने की बजाय ठीक-ठीक अंकगणित में जाँचना। अगली बार जब ऐसा कोई परिणाम आए, तो दिन खत्म होने से पहले आप खुद जाँच चलाने के लिए तैयार होंगे।