उत्तरप्रकाशित21 स्रोत
ओपनएआई ने जस्टिन सन का 10 लाख डॉलर का नेवियर–स्टोक्स पुरस्कार क्यों नहीं लिया?
17 सितंबर 2026 तक ओपनएआई जस्टिन सन के 10 लाख डॉलर के नेवियर–स्टोक्स पुरस्कार के लिए सूचीबद्ध था, लेकिन राशि का दावा नहीं किया गया था। मशीन द्वारा जाँचा गया औपचारिक प्रमाण और इस बात पर व्यापक सहमति कि वही प्रमाण Millennium Problem की सटीक शर्तें पूरी करता है—दो अलग बातें हैं। मामला प्राथमिकता और श्रेय के विवाद में भी...
प्रकाशितकर्ताGPT-5.6 Terra से संपादितGPT Image 2 से चित्र बनाए गए
शोध उत्तर
मुख्य निष्कर्ष
- 17 सितंबर 2026 तक ओपनएआई जस्टिन सन के 10 लाख डॉलर के नेवियर–स्टोक्स पुरस्कार के लिए सूचीबद्ध था, लेकिन राशि का दावा नहीं किया गया था।
- मशीन द्वारा जाँचा गया औपचारिक प्रमाण और इस बात पर व्यापक सहमति कि वही प्रमाण Millennium Problem की सटीक शर्तें पूरी करता है—दो अलग बातें हैं।
- मामला प्राथमिकता और श्रेय के विवाद में भी बदल गया है: गणितज्ञ ट्रिस्टन बकमास्टर ने एट्रिब्यूशन पर सवाल उठाए हैं, जिन्हें ओपनएआई ने नकारा है।
AI संकेत
openai.comCreate a landscape editorial hero image for this Studio Global article: What happened when OpenAI declined to claim Justin Sun’s $1 million prize for its reported AI-generated solution to the three-dimensional Na. Article summary: OpenAI did not claim Justin Sun’s inaugural $1 million prize, even though Sun’s program listed its Navier–Stokes submission as the top award. The company’s reported result is significant but remains a claim under scrutin. Topic tags: general, news, general web, academic, government. 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, ch
ओपनएआई के नेवियर–स्टोक्स संबंधी घोषित नतीजे को जस्टिन सन के नए गणित पुरस्कार में पहला शीर्ष सम्मान मिला, लेकिन कंपनी ने 10 लाख डॉलर की राशि का दावा नहीं किया। यह सिर्फ एआई द्वारा कोई प्रमाण ढूँढ लेने की कहानी नहीं है। मामला इस बात की परीक्षा भी है कि जब एआई प्रणालियाँ अग्रणी गणित में योगदान दें, तो औपचारिक सत्यापन, निजी पुरस्कार, स्वतंत्र समीक्षाएँ और वैज्ञानिक श्रेय का अर्थ क्या होना चाहिए। 3
6
8
9
ओपनएआई का दावा क्या है?
8 सितंबर 2026 को ओपनएआई ने त्रि-आयामी असंपीड्य नेवियर–स्टोक्स समीकरणों पर एक लेख और Lean में औपचारिक रूप से लिखा गया प्रमाण जारी किया। कंपनी का कहना है कि उसके आंतरिक सिस्टम ने एक विश्लेषणात्मक प्रमाण खोजा: बाहरी बल के अधीन, शुरू में चिकना और स्थिर द्रव सीमित समय में singularity विकसित कर सकता है। सरल शब्दों में, गणितीय मॉडल के हल में ऐसा बिंदु आ सकता है जहाँ मान अनियंत्रित हो जाएँ। 6
Clay समस्या-विवरण की भाषा में यह दावा forced counterexample वाले रास्ते—केस C और D—से जुड़ा है। यह बिना बाहरी बल वाले global regularity विकल्पों, यानी केस A और B, को स्थापित नहीं करता। इसलिए “नेवियर–स्टोक्स समस्या हल हो गई” जैसी सुर्खियाँ भ्रामक हो सकती हैं: दावा बाहरी बल के साथ singularity बनाने का है, न कि हर उस अर्थ में पूरी समस्या के सर्वमान्य समाधान का जिसे पाठक इससे जोड़ सकते हैं। 6
18
19
एआई ने प्रमाण कैसे बनाया और जाँचा?
ओपनएआई के अनुसार, उसने 28 अगस्त को प्रशिक्षणाधीन एक आंतरिक मॉडल के साथ समस्या का परीक्षण शुरू किया और 1 सितंबर के बाद प्रयास बढ़ाया। कंपनी ने कोड और कैश किए गए वेब-सामग्री तक पहुँच रखने वाले समन्वित एजेंट-समूहों का उपयोग बताया; नेवियर–स्टोक्स प्रयास में करीब 10,000 एजेंट एक साथ काम कर रहे थे। 6
रिपोर्टों के मुताबिक खोज की प्रक्रिया लगभग 88 घंटे चली। इसके बाद GPT-6 Astra ने करीब 17 घंटे में काम को Lean में औपचारिक रूप दिया और जाँचा। ओपनएआई ने कहा है कि मूल खोज करने वाला मॉडल GPT-6 Astra से काफी अधिक सक्षम आंतरिक सिस्टम था; Astra की भूमिका औपचारिकीकरण और सत्यापन से जुड़ी थी, जरूरी नहीं कि मूल गणितीय खोज से। 6
8
यह अंतर केवल नामकरण का नहीं है। Lean में सत्यापन इस बात का मजबूत प्रमाण दे सकता है कि औपचारिक सिस्टम में दर्ज मान्यताओं से कोई कथन निकलता है। लेकिन यह अपने आप तय नहीं करता कि वे औपचारिक मान्यताएँ Clay की समस्या की हर शर्त को ठीक-ठीक पकड़ती हैं या नहीं। न ही यह बाहरी गणितज्ञों की समीक्षा का विकल्प है।
Clay का अलग 10 लाख डॉलर पुरस्कार अब तक क्यों नहीं मिला?
Clay Mathematics Institute का Millennium Prize, सन के पुरस्कार से अलग है। 11 सितंबर को Clay ने कहा कि वह ओपनएआई की घोषणा का अपने स्थापित नियमों के तहत मूल्यांकन कर रहा है और यह प्रक्रिया जानबूझकर जल्दबाजी में नहीं की जाती। 1
Clay के Millennium Prize नियमों के अनुसार, प्रस्तावित समाधान को मान्य प्रकाशन माध्यम में छपना होगा, उसके बाद कम-से-कम दो वर्ष बीतने होंगे और वैश्विक गणित समुदाय में उसे सामान्य स्वीकृति मिलनी होगी। तभी Clay पुरस्कार पर विचार कर सकता है। इसलिए Lean कोड के रिपोर्ट के अनुसार सही चलने पर भी यह तुरंत Clay Prize नहीं बन जाता।
व्यावहारिक स्थिति साफ है: ओपनएआई ने सार्वजनिक दावा और औपचारिक सामग्री जारी की है, लेकिन Clay Mathematics Institute ने इसे Millennium Prize समाधान के रूप में मान्यता नहीं दी है। स्वतंत्र गणितज्ञों को अभी विश्लेषणात्मक प्रमाण, Lean औपचारिकीकरण और समस्या की शर्तों से उसके सटीक मेल की जाँच करनी है। 1
6
जस्टिन सन का पुरस्कार किस बात को मानता है?
सन ने 16 सितंबर को अपने पुरस्कार को बुनियादी शोध और मशीन औपचारिक सत्यापन में सफलताओं के लिए विकेंद्रीकृत अकादमिक बाउंटी कार्यक्रम के रूप में पेश किया। पहले पुरस्कारों में 66 गणितीय समस्याएँ शामिल थीं और ओपनएआई के घोषित नेवियर–स्टोक्स नतीजे को शीर्ष 10 लाख डॉलर पुरस्कार दिया गया। 3
14
इस कार्यक्रम का ढाँचा Clay से व्यापक और तेज है: इसका उद्देश्य मशीन से सत्यापित किए जा सकने वाले प्रमाणों को मान्यता देना है और इसे मानव शोधकर्ताओं, एआई प्रणालियों तथा मानव–एआई सहयोगों के लिए खुला बताया गया है। 4
14
यानी यह अपने पात्रता-नियमों वाला निजी पुरस्कार है—गणित समुदाय द्वारा शुद्धता, प्राथमिकता या दीर्घकालिक महत्व स्थापित करने की प्रक्रिया का विकल्प नहीं। सन के मानदंडों के तहत विजेता कहलाने से Clay या दूसरे गणितज्ञों पर नतीजे को अंतिम मान लेने की बाध्यता नहीं बनती।
पुरस्कार की राशि अनक्लेम्ड क्यों रही?
पुरस्कार रिपॉजिटरी पर आधारित रिपोर्टिंग में ओपनएआई को पुरस्कार लेने के योग्य सूचीबद्ध बताया गया, मगर राशि का दावा नहीं किया गया था। इन रिपोर्टों ने इसे प्रमाण की उत्पत्ति पर चल रहे विवाद और उस चरण में Clay के पुरस्कार के लिए आगे न बढ़ने के ओपनएआई के निर्णय से जोड़ा। 8
9
हालाँकि उपलब्ध सामग्री में ओपनएआई ने राशि न लेने या दावा टालने की कोई निर्णायक सार्वजनिक वजह नहीं बताई है। इसलिए सावधान निष्कर्ष यही है: जब प्रमाण का दायरा, उसकी उत्पत्ति और श्रेय विवादित हों, तब निजी पुरस्कार स्वीकार करना सामान्य पेशेवर सत्यापन पूरा होने से पहले अंतिमता का दावा जैसा दिख सकता है।
श्रेय का विवाद भी वैज्ञानिक सवाल का हिस्सा है
न्यूयॉर्क यूनिवर्सिटी के गणितज्ञ ट्रिस्टन बकमास्टर ने आरोप लगाया है कि ओपनएआई के काम में गैर-सार्वजनिक शोध का इस्तेमाल हुआ। ओपनएआई इस आरोप से असहमत है। उपलब्ध रिपोर्टिंग में इस विवाद का कोई अंतिम, स्वतंत्र समाधान स्थापित नहीं हुआ है। 1
20
Nature ने कहा है कि यह प्रकरण एआई कंपनियों और शोध समुदाय के बीच श्रेय तथा एट्रिब्यूशन पर बेहतर सहयोग की जरूरत उजागर करता है। एआई-सहायित गणित में प्रणालियाँ असाधारण पैमाने पर विचार खोज सकती हैं, उन्हें जोड़ सकती हैं और औपचारिक रूप दे सकती हैं; मगर किसी विशिष्ट विचार की उत्पत्ति का रिकॉर्ड खोजना कठिन हो सकता है। 17
20
इससे यह सिद्ध नहीं होता कि औपचारिक प्रमाण गलत है। लेकिन शुद्धता और श्रेय अलग प्रश्न हैं—और किसी ऐसी सफलता में दोनों महत्वपूर्ण हैं जो गणित के बड़े क्षेत्र को बदल सकती है।
फिलहाल निष्कर्ष क्या है?
ओपनएआई का दावा असाधारण है: बड़े पैमाने के एजेंट वर्कफ़्लो से मिली त्रि-आयामी नेवियर–स्टोक्स formulation में सीमित समय की singularity की रचना, जिसके साथ Lean में औपचारिकीकरण भी दिया गया है। 6
18
19
फिर भी इसे अभी Clay द्वारा मान्यता प्राप्त Millennium Prize समाधान नहीं कहा जाना चाहिए। सन का 10 लाख डॉलर पुरस्कार कथित तौर पर अनक्लेम्ड रहा, Clay की मूल्यांकन-प्रक्रिया अलग और कहीं धीमी है, तथा श्रेय-विवाद अनसुलझा है। 1
8
9
20
अब अहम पड़ाव हैं: गणित की स्वतंत्र समीक्षा, यह बारीकी से जाँचना कि औपचारिक कथन अपेक्षित समस्या-शर्तों से मेल खाता है, और प्राथमिकता व लेखकीय श्रेय का विश्वसनीय विवरण। तब तक इसका सबसे सटीक वर्णन एक अत्यंत महत्वपूर्ण, एआई-जनित गणितीय दावा है जिसमें मशीन से जाँचा जा सकने वाला घटक मौजूद है—न कि अंतिम, सर्वसम्मत नतीजा।
Studio Global AI
अपना शोध जारी रखें
इस पृष्ठ में एक स्रोत-समर्थित उत्तर शामिल है जिसे आप Studio Global के अंदर जारी रख सकते हैं।
लोग पूछते भी हैं
"ओपनएआई ने जस्टिन सन का 10 लाख डॉलर का नेवियर–स्टोक्स पुरस्कार क्यों नहीं लिया?" का संक्षिप्त उत्तर क्या है?
17 सितंबर 2026 तक ओपनएआई जस्टिन सन के 10 लाख डॉलर के नेवियर–स्टोक्स पुरस्कार के लिए सूचीबद्ध था, लेकिन राशि का दावा नहीं किया गया था।
सबसे पहले सत्यापित करने योग्य मुख्य बिंदु क्या हैं?
17 सितंबर 2026 तक ओपनएआई जस्टिन सन के 10 लाख डॉलर के नेवियर–स्टोक्स पुरस्कार के लिए सूचीबद्ध था, लेकिन राशि का दावा नहीं किया गया था। मशीन द्वारा जाँचा गया औपचारिक प्रमाण और इस बात पर व्यापक सहमति कि वही प्रमाण Millennium Problem की सटीक शर्तें पूरी करता है—दो अलग बातें हैं।
मुझे अभ्यास में आगे क्या करना चाहिए?
मामला प्राथमिकता और श्रेय के विवाद में भी बदल गया है: गणितज्ञ ट्रिस्टन बकमास्टर ने एट्रिब्यूशन पर सवाल उठाए हैं, जिन्हें ओपनएआई ने नकारा है।
सूत्र
coinpost.aiJustin Sun launches $1 million math prize and names first winners
openai.comOn the Navier–Stokes Millennium Prize Problem
yellow.comOpenAI Leaves $1M Justin Sun Math Prize Unclaimed After Navier-Stokes Win | Yellow
yahoo.comOpenAI Rejects Another Math Prize, This Time Justin Sun's ...
nature.comDaily briefing: OpenAI claims a huge maths breakthrough