उत्तरप्रकाशित25 स्रोत
AI की मदद से क्वांटम कंप्यूटिंग की पुरानी गणितीय पहेली सुलझाने का दावा
6 नवंबर 2026 को PSI ने कहा कि गैर सार्वजनिक Anthropic मॉडल से चल रहे उसके शोध तंत्र को तीसरे दिन Aaronson–Ambainis अनुमान का पूरा प्रमाण मिला; Lean ने उसका औपचारिक रूप स्वीकार किया। यह अनुमान ज़्यादातर यादृच्छिक इनपुट पर क्वांटम एल्गोरिदम के इनपुट पढ़ने की संख्या से जुड़ा है—क्वांटम कंप्यूटरों के हर व्यावहारिक लाभ प...
प्रकाशितकर्ताGPT-6 Luna से संपादितGPT Image 2 से चित्र बनाए गए
शोध उत्तर
मुख्य निष्कर्ष
- 6 नवंबर 2026 को PSI ने कहा कि गैर सार्वजनिक Anthropic मॉडल से चल रहे उसके शोध तंत्र को तीसरे दिन Aaronson–Ambainis अनुमान का पूरा प्रमाण मिला; Lean ने उसका औपचारिक रूप स्वीकार किया।
- यह अनुमान ज़्यादातर यादृच्छिक इनपुट पर क्वांटम एल्गोरिदम के इनपुट पढ़ने की संख्या से जुड़ा है—क्वांटम कंप्यूटरों के हर व्यावहारिक लाभ पर व्यापक रोक नहीं।
- प्रमाण और Lean 4 औपचारिक रूप सार्वजनिक हैं, लेकिन जर्नल की सहकर्मी समीक्षा और स्वतंत्र विशेषज्ञों की विस्तृत जाँच अभी बाकी है।
AI संकेत
openai.comCreate a landscape editorial hero image for this Studio Global article: What did physics-focused AI startup Physical Superintelligence (PSI) announce on November 6 about its research system using an undisclosed,. Article summary: On November 6, 2026, Physical Superintelligence (PSI) announced that its internal research system, using a non-public Anthropic model, had found a proof of the Aaronson–Ambainis conjecture, open since 2008, and released . Topic tags: general, general web, user generated. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fak
Physical Superintelligence (PSI) ने 6 नवंबर 2026 को घोषणा की कि उसके आंतरिक शोध तंत्र ने एक गैर-सार्वजनिक Anthropic मॉडल की मदद से Aaronson–Ambainis अनुमान का प्रमाण खोजा है। यह क्वांटम जटिलता सिद्धांत की वह समस्या है जो 2008 से खुली थी। PSI ने शोधपत्र और Lean 4 में उसका औपचारिक रूप जारी किया है; कंपनी के अनुसार, Lean ने प्रमाण को स्वीकार किया। हालांकि, नतीजे की किसी जर्नल में सहकर्मी-समीक्षा अभी नहीं हुई है। 6
7
13
15
PSI के मुताबिक शोध तंत्र ने क्या किया
कंपनी का कहना है कि उसके अपने कंप्यूटिंग ढाँचे पर चलने के तीसरे दिन शोध तंत्र के पास पूरा प्रमाण था। इसके बाद उसने संबंधित समस्याओं पर काम किया और नतीजे को दो बार बेहतर किया। उपलब्ध विवरण यह नहीं बताते कि हर चरण में सीमा कितनी बदली या तंत्र ने प्रमाण तक पहुँचने के लिए कौन-से कदम उठाए। 5
11
14
PSI के तकनीकी कर्मचारी डेविड टर्ट्यूरियन ने काम का नेतृत्व किया और शोध तंत्र विकसित किया। रिपोर्टों के मुताबिक, उन्होंने समस्या तय की, तंत्र से पहला मसौदा तैयार करवाया, उसकी समीक्षा की और शोधपत्र की शुद्धता की जिम्मेदारी ली। 1
7 PSI के सलाहकार जिम हैल्वर्सन ने कथित तौर पर प्रमाण का ऑडिट किया, जबकि सलाहकार फियाला शैनन ने Lean में उसके औपचारिक रूप की भूमिका पर बात की।
34
36
मॉडल का नाम सार्वजनिक नहीं किया गया है। PSI ने उसे केवल Anthropic का गैर-सार्वजनिक मॉडल बताया है। उपलब्ध स्रोत यह स्पष्ट नहीं करते कि Anthropic की भागीदारी कितनी थी या कंपनी ने नतीजे का स्वतंत्र समर्थन किया है या नहीं। 6
15
अनुमान का गणितीय मतलब
प्रमाण के साथ जारी विवरण के अनुसार, यदि कोई वास्तविक बहुपद Boolean cube—यानी 0 और 1 वाले इनपुटों के समुच्चय—पर शून्य और एक के बीच सीमित हो, उसकी डिग्री अधिकतम d हो और उसका विचरण कम-से-कम ε हो, तो उसमें कोई-न-कोई इनपुट चर ऐसा होगा जिसका प्रभाव उल्लेखनीय हो। PSI के रिपॉज़िटरी में उस प्रभाव की निचली सीमा कम-से-कम (ε/d)^7 दी गई है; साथ में इससे अधिक मजबूत सीमा भी बताई गई है। 41
सरल शब्दों में, कोई सीमित और कम-डिग्री वाला बहुपद काफी बदलता हो, तो ऐसा नहीं हो सकता कि हर इनपुट चर का उस बदलाव में योगदान लगभग नगण्य हो। क्वांटम कंप्यूटिंग में इसका महत्व क्वेरी जटिलता से है—अर्थात एल्गोरिदम को अपने इनपुट तक कितनी बार पहुँचने या उसे पढ़ने की जरूरत पड़ती है। रिपोर्ट किया गया नतीजा कहता है कि हाँ-या-नहीं वाले सवालों में, अधिकांश समान रूप से यादृच्छिक इनपुट पर, शास्त्रीय एल्गोरिदम क्वांटम एल्गोरिदम के ‘हाँ’ कहने की संभावना का अनुमान बिना घातीय रूप से अधिक इनपुट-पहुँच के लगा सकता है। 4
इसका अर्थ यह नहीं कि शास्त्रीय कंप्यूटर हर स्थिति में क्वांटम कंप्यूटर का कुल गणना-समय के लिहाज से कुशल अनुकरण कर सकते हैं। इनपुट पढ़ने की संख्या की सीमा अपने-आप यह नहीं बताती कि हर बार इनपुट पढ़ने के बीच एल्गोरिदम को कितनी गणना करनी पड़ती है। इसलिए इसे इस दावे की तरह भी नहीं पढ़ना चाहिए कि क्वांटम कंप्यूटरों का कोई उपयोगी लाभ नहीं होता। 4
16
Lean की जाँच क्या बताती है—और क्या नहीं
PSI ने गणितीय शोधपत्र और Lean 4 में प्रमाण का औपचारिक रूप प्रकाशित किया है। Lean एक proof assistant है: यह जाँचता है कि औपचारिक रूप में दर्ज परिभाषाओं और मान्यताओं से निष्कर्ष निकलता है या नहीं। रिपॉज़िटरी में प्रकाशन की तैयारी से जुड़ी जाँचों का रिकॉर्ड भी है। 10
21
41
यह इस बात का अहम संकेत है कि औपचारिक रूप में लिखा प्रमाण अपने नियमों के भीतर सही है। लेकिन इससे यह सवाल खत्म नहीं होता कि औपचारिक कथन मूल अनुमान को सही-सही व्यक्त करता है या नहीं। कंप्यूटर द्वारा औपचारिक जाँच, गणितज्ञों की व्याख्या और जर्नल की सहकर्मी-समीक्षा—तीनों जुड़े हुए हैं, लेकिन एक ही काम नहीं करते। इसलिए फिलहाल इसे सार्वजनिक, मशीन-जाँच योग्य औपचारिक प्रमाण के साथ किया गया एक महत्वपूर्ण दावा कहना उचित है; यह नहीं कि इसके हर पहलू की स्वतंत्र अकादमिक समीक्षा पूरी हो चुकी है। 15
41
सार्वजनिक विवरण से घोषित समयरेखा, प्रकाशित औपचारिक रूप और Lean की स्वीकृति की जानकारी मिलती है। लेकिन यह समझने के लिए पर्याप्त तकनीकी जानकारी नहीं है कि प्रमाण ने पुराने काम को किस तरह आगे बढ़ाया या इनपुट स्थितियों की जोड़ी बनाने के लिए determinant-आधारित तरीका कैसे इस्तेमाल किया। केवल घोषणा के आधार पर उस तकनीकी प्रक्रिया का अनुमान नहीं लगाना चाहिए।
अब किन सवालों के जवाब बाकी हैं
घोषणा से मॉडल की पहचान, Anthropic की भूमिका या बाहरी शोधकर्ताओं की विस्तृत जाँच के बारे में अंतिम जवाब नहीं मिलता। अगला अहम कदम यह होगा कि स्वतंत्र गणितज्ञ और कंप्यूटर वैज्ञानिक औपचारिक प्रमाण की जाँच करें और देखें कि वह मूल रूप में दिए गए अनुमान से मेल खाता है या नहीं। 6
15
अभी सावधानी से यही कहा जा सकता है: PSI ने उल्लेखनीय प्रमाण-दावा किया है और उसकी मशीन-जाँच योग्य औपचारिकता सार्वजनिक की है। इसे पूरी तरह स्थापित नतीजा मानने से पहले स्वतंत्र मूल्यांकन जरूरी है।
Studio Global AI
अपना शोध जारी रखें
इस पृष्ठ में एक स्रोत-समर्थित उत्तर शामिल है जिसे आप Studio Global के अंदर जारी रख सकते हैं।
लोग पूछते भी हैं
"AI की मदद से क्वांटम कंप्यूटिंग की पुरानी गणितीय पहेली सुलझाने का दावा" का संक्षिप्त उत्तर क्या है?
6 नवंबर 2026 को PSI ने कहा कि गैर सार्वजनिक Anthropic मॉडल से चल रहे उसके शोध तंत्र को तीसरे दिन Aaronson–Ambainis अनुमान का पूरा प्रमाण मिला; Lean ने उसका औपचारिक रूप स्वीकार किया।
सबसे पहले सत्यापित करने योग्य मुख्य बिंदु क्या हैं?
6 नवंबर 2026 को PSI ने कहा कि गैर सार्वजनिक Anthropic मॉडल से चल रहे उसके शोध तंत्र को तीसरे दिन Aaronson–Ambainis अनुमान का पूरा प्रमाण मिला; Lean ने उसका औपचारिक रूप स्वीकार किया। यह अनुमान ज़्यादातर यादृच्छिक इनपुट पर क्वांटम एल्गोरिदम के इनपुट पढ़ने की संख्या से जुड़ा है—क्वांटम कंप्यूटरों के हर व्यावहारिक लाभ पर व्यापक रोक नहीं।
मुझे अभ्यास में आगे क्या करना चाहिए?
प्रमाण और Lean 4 औपचारिक रूप सार्वजनिक हैं, लेकिन जर्नल की सहकर्मी समीक्षा और स्वतंत्र विशेषज्ञों की विस्तृत जाँच अभी बाकी है।