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

उन्होंने जिस समस्या को हल किया वह Crouzeix का अनुमान है, जिसे 2004 में फ्रांसीसी गणितज्ञ मिशेल क्राउज़ेइक्स ने प्रस्तावित किया था। अनुमान में कहा गया है कि किसी भी वर्ग जटिल मैट्रिक्स A और बहुपद p के लिए, ऑपरेटर नॉर्म ||p(A)||, संख्यात्मक रेंज W(A) पर |p| के अधिकतम मान का अधिकतम दोगुना होता है । 2 का तीव्र स्थिरांक 22 वर्षों तक खुला था; पहले की सीमाएं लगभग 2.414 तक ही पहुंची थीं ।

जिन शानमु ने स्वायत्त रन कैसे सेट किया

जिन का दृष्टिकोण एक साधारण ChatGPT क्वेरी नहीं था। उन्होंने एक स्वायत्त तर्क प्रणाली डिज़ाइन की, जो साइकल डबल कवर अनुमान पर OpenAI की पिछली सफलता से उधार ली गई थी । उनकी प्रॉम्प्ट रणनीति में चार मुख्य निर्देश शामिल थे:

1. एयर-गैप्ड वातावरण: मॉडल को विशुद्ध रूप से मौलिक सोचने के लिए मजबूर करने के लिए एक भौतिक रूप से डिस्कनेक्टेड (एयर-गैप्ड) वातावरण में काम करने का निर्देश दिया गया था, जिससे उसे मौजूदा समाधानों या ज्ञात सबूतों पर भरोसा करने से रोका जा सके ।
2. मल्टी-एजेंट समानांतर अन्वेषण: उन्होंने विभिन्न समाधान पथों का समानांतर रूप से पता लगाने के लिए कई एजेंट इंस्टेंस लॉन्च किए, जिससे सिस्टम को समय से पहले एक दोषपूर्ण दृष्टिकोण पर आने से रोका जा सके ।
3. विरोधी ऑडिटिंग: उन्होंने उम्मीदवार रणनीतियों पर विरोधी ऑडिटिंग लागू की - एआई को अपने स्वयं के तर्क की आलोचना करने और काउंटरउदाहरणों के खिलाफ अपने सबूतों का परीक्षण करने के लिए कहा गया ।
4. कोई जल्दी रोक नहीं: उन्होंने मॉडल को आदेश दिया कि जब तक पूरा प्रमाण प्राप्त नहीं हो जाता, तब तक रुकना नहीं है ।

रन शुरू करने के बाद, जिन ने सिस्टम को काम करने के लिए छोड़ दिया। "उन्होंने मॉडल को वेब से बंद कर दिया, इसे शुरू किया, और चले गए। सोलह घंटे बाद इसके पास प्रूफ था," रिपोर्टों के अनुसार । उन 16 घंटों के दौरान, GPT-5.6-Sol ने परिकल्पना निर्माण, परीक्षण और परिशोधन के हजारों चक्र निष्पादित किए ।

प्रमाण और इसका सत्यापन

परिणाम एक प्रमाण था कि Crouzeix का अनुमान सत्य है: स्थिरांक 2 सही है। यह प्रमाण 27 जुलाई, 2026 को एक प्रीप्रिंट के रूप में पोस्ट किया गया था, जिसका शीर्षक था The Numerical Range Is a 2-Spectral Set ।

सत्यापन प्रक्रिया कठोर थी। मिशेल क्राउज़ेइक्स - गणितज्ञ जिन्होंने 2004 में मूल रूप से अनुमान प्रस्तुत किया था - ने तर्क की समीक्षा की और पुष्टि की कि यह सही है । संख्यात्मक विश्लेषकों ने भी प्रमाण की जांच की । इसके अलावा, जिन ने सभी शोध सामग्री को GitHub पर सार्वजनिक किया, जिसमें अंतिम पेपर, प्रॉम्प्ट, पुनरावृत्ति ड्राफ्ट, लीन 4 औपचारिक प्रमाण कोड और ऑडिट रिपोर्ट शामिल हैं ।

एआई-संचालित अनुसंधान के लिए इसका क्या अर्थ है

जिन की उपलब्धि केवल समस्या की कठिनाई के कारण ही नहीं, बल्कि उनकी पृष्ठभूमि और पद्धति के कारण भी उल्लेखनीय है। एक न्यूरोसर्जरी रेजिडेंट जिसके पास कोई औपचारिक उन्नत गणित की डिग्री नहीं है, जिसने 16 घंटे तक एक एआई मॉडल का स्वायत्त रूप से उपयोग किया, उसने एक ऐसी समस्या को हल कर दिया जिसने दो दशकों तक गणितज्ञों को निराश किया था।

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

यह दृष्टिकोण गणितीय अनुसंधान में एक मानक विधि बन जाता है या नहीं, यह देखना बाकी है। लेकिन अभी के लिए, जिन शानमु का परिणाम 2026 में एआई-संवर्धित खोज के सबसे आकर्षक उदाहरणों में से एक है।

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

उन्होंने जिस समस्या को हल किया वह Crouzeix का अनुमान है, जिसे 2004 में फ्रांसीसी गणितज्ञ मिशेल क्राउज़ेइक्स ने प्रस्तावित किया था। अनुमान में कहा गया है कि किसी भी वर्ग जटिल मैट्रिक्स A और बहुपद p के लिए, ऑपरेटर नॉर्म ||p(A)||, संख्यात्मक रेंज W(A) पर |p| के अधिकतम मान का अधिकतम दोगुना होता है । 2 का तीव्र स्थिरांक 22 वर्षों तक खुला था; पहले की सीमाएं लगभग 2.414 तक ही पहुंची थीं ।

जिन शानमु ने स्वायत्त रन कैसे सेट किया

जिन का दृष्टिकोण एक साधारण ChatGPT क्वेरी नहीं था। उन्होंने एक स्वायत्त तर्क प्रणाली डिज़ाइन की, जो साइकल डबल कवर अनुमान पर OpenAI की पिछली सफलता से उधार ली गई थी । उनकी प्रॉम्प्ट रणनीति में चार मुख्य निर्देश शामिल थे:

1. एयर-गैप्ड वातावरण: मॉडल को विशुद्ध रूप से मौलिक सोचने के लिए मजबूर करने के लिए एक भौतिक रूप से डिस्कनेक्टेड (एयर-गैप्ड) वातावरण में काम करने का निर्देश दिया गया था, जिससे उसे मौजूदा समाधानों या ज्ञात सबूतों पर भरोसा करने से रोका जा सके ।
2. मल्टी-एजेंट समानांतर अन्वेषण: उन्होंने विभिन्न समाधान पथों का समानांतर रूप से पता लगाने के लिए कई एजेंट इंस्टेंस लॉन्च किए, जिससे सिस्टम को समय से पहले एक दोषपूर्ण दृष्टिकोण पर आने से रोका जा सके ।
3. विरोधी ऑडिटिंग: उन्होंने उम्मीदवार रणनीतियों पर विरोधी ऑडिटिंग लागू की - एआई को अपने स्वयं के तर्क की आलोचना करने और काउंटरउदाहरणों के खिलाफ अपने सबूतों का परीक्षण करने के लिए कहा गया ।
4. कोई जल्दी रोक नहीं: उन्होंने मॉडल को आदेश दिया कि जब तक पूरा प्रमाण प्राप्त नहीं हो जाता, तब तक रुकना नहीं है ।

रन शुरू करने के बाद, जिन ने सिस्टम को काम करने के लिए छोड़ दिया। "उन्होंने मॉडल को वेब से बंद कर दिया, इसे शुरू किया, और चले गए। सोलह घंटे बाद इसके पास प्रूफ था," रिपोर्टों के अनुसार । उन 16 घंटों के दौरान, GPT-5.6-Sol ने परिकल्पना निर्माण, परीक्षण और परिशोधन के हजारों चक्र निष्पादित किए ।

प्रमाण और इसका सत्यापन

परिणाम एक प्रमाण था कि Crouzeix का अनुमान सत्य है: स्थिरांक 2 सही है। यह प्रमाण 27 जुलाई, 2026 को एक प्रीप्रिंट के रूप में पोस्ट किया गया था, जिसका शीर्षक था The Numerical Range Is a 2-Spectral Set ।

सत्यापन प्रक्रिया कठोर थी। मिशेल क्राउज़ेइक्स - गणितज्ञ जिन्होंने 2004 में मूल रूप से अनुमान प्रस्तुत किया था - ने तर्क की समीक्षा की और पुष्टि की कि यह सही है । संख्यात्मक विश्लेषकों ने भी प्रमाण की जांच की । इसके अलावा, जिन ने सभी शोध सामग्री को GitHub पर सार्वजनिक किया, जिसमें अंतिम पेपर, प्रॉम्प्ट, पुनरावृत्ति ड्राफ्ट, लीन 4 औपचारिक प्रमाण कोड और ऑडिट रिपोर्ट शामिल हैं ।

एआई-संचालित अनुसंधान के लिए इसका क्या अर्थ है

जिन की उपलब्धि केवल समस्या की कठिनाई के कारण ही नहीं, बल्कि उनकी पृष्ठभूमि और पद्धति के कारण भी उल्लेखनीय है। एक न्यूरोसर्जरी रेजिडेंट जिसके पास कोई औपचारिक उन्नत गणित की डिग्री नहीं है, जिसने 16 घंटे तक एक एआई मॉडल का स्वायत्त रूप से उपयोग किया, उसने एक ऐसी समस्या को हल कर दिया जिसने दो दशकों तक गणितज्ञों को निराश किया था।

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

यह दृष्टिकोण गणितीय अनुसंधान में एक मानक विधि बन जाता है या नहीं, यह देखना बाकी है। लेकिन अभी के लिए, जिन शानमु का परिणाम 2026 में एआई-संवर्धित खोज के सबसे आकर्षक उदाहरणों में से एक है।