क्ले मैथमेटिक्स इंस्टीट्यूट ने पहली बार सार्वजनिक रूप से स्वीकार किया है कि नेवियर-स्टोक्स अस्तित्व और सहजता समस्या - सात सहस्राब्दी पुरस्कार समस्याओं में से एक - "स्पष्ट रूप से सुलझा ली गई है।" शुक्रवार को संस्थान की वेबसाइट पर प्रकाशित बयान, वर्ष की सबसे अधिक विवादित एआई-और-गणित कहानियों में से एक को संस्थान की औपचारिक पुरस्कार मूल्यांकन प्रक्रिया में ले जाता है, जबकि यह भी स्पष्ट करता है कि कोई पुरस्कार नहीं दिया गया है और कोई सबूत का समर्थन नहीं किया गया है।
संस्थान ने 11 सितंबर, 2026 की घोषणा में लिखा, "आज, सीएमआई वैश्विक गणितीय समुदाय के उत्साह को साझा करता है क्योंकि हम इस घोषणा पर विचार कर रहे हैं कि नेवियर-स्टोक्स समस्या का स्पष्ट रूप से समाधान हो गया है।" For more context on this story, see our ongoing AI industry coverage.
बयान क्यों मायने रखता है
संस्थान की मापी गई भाषा बहुत काम कर रही है, और प्रत्येक शब्द को हैकर न्यूज़ पर घंटों के भीतर पार्स किया गया, जहां घोषणा ने 100 से अधिक अंक एकत्र किए। यह कथन जो नहीं कहता है वह उतना ही महत्वपूर्ण है जितना कि यह कहता है: क्ले मैथमेटिक्स इंस्टीट्यूट ओपनएआई का नाम नहीं लेता है, यह पुष्टि नहीं करता है कि कोई विशिष्ट प्रमाण सही है, और पुरस्कार पुरस्कार को ट्रिगर नहीं करता है।
प्रसंग संयम को स्पष्ट करता है। 8 सितंबर को, ओपनएआई ने नेवियर-स्टोक्स समस्या का एक दावा किया गया समाधान प्रकाशित किया, जिसमें कहा गया कि एक आंतरिक एआई प्रणाली - जिसे कंपनी ने अपने जीपीटी -6 एस्ट्रा मॉडल की तुलना में काफी अधिक सक्षम बताया है - ने लीन प्रूफ सहायक में एक विश्लेषणात्मक प्रमाण और एक औपचारिक सत्यापन दोनों का उत्पादन किया था। घोषणा तुरंत गणना के बारे में उतनी ही अधिक हो गई जितनी गणना के बारे में, क्योंकि दो अकादमिक गणितज्ञों ने उसी दिन बारीकी से संबंधित पेपर जारी किए, और शोधकर्ताओं ने ओपनएआई पर दबाव डाला, जिनके काम ने मशीन के परिणाम की जानकारी दी थी।
संस्थान द्वारा अब यह स्वीकार करने के साथ कि समस्या "स्पष्ट रूप से सुलझा ली गई है", विवाद का क्षेत्र बदल गया है: प्रेस-विज्ञप्ति पिंग-पोंग से लेकर मिलेनियम पुरस्कार मूल्यांकन प्रक्रिया तक, जिसे संस्थान "जानबूझकर जल्दबाजी में की गई" के रूप में वर्णित करता है।
नेवियर-स्टोक्स समस्या क्या पूछती है
समस्या त्रि-आयामी यूक्लिडियन अंतरिक्ष में नेवियर-स्टोक्स समीकरणों के समाधान के अस्तित्व और सुगमता से संबंधित है - समीकरण जो बताते हैं कि पानी और हवा जैसे तरल पदार्थ कैसे चलते हैं। हालाँकि इन समीकरणों का उपयोग प्रतिदिन इंजीनियरों, मौसम विज्ञानियों और वायुगतिकीविदों द्वारा किया जाता है, गणितज्ञों ने कभी यह साबित नहीं किया है कि सहज, शारीरिक रूप से उचित समाधान हमेशा तीन आयामों में मौजूद होते हैं, या कि वे विलक्षणता विकसित करने के बजाय पूर्वानुमानित व्यवहार करते हैं।
क्ले मैथमेटिक्स इंस्टीट्यूट ने 2000 में पेरिस में एक बैठक में मिलेनियम पुरस्कार समस्याओं का अनावरण किया, जिसमें सात समस्याओं में से प्रत्येक के लिए $ 1 मिलियन का पुरस्कार संलग्न किया गया, जिसमें रीमैन परिकल्पना और पी बनाम एनपी भी शामिल हैं। अपने शुक्रवार के बयान में, संस्थान ने अपने मूल तर्क को दोहराया: सार्वजनिक जागरूकता बढ़ाना कि गणितीय सीमा खुली है, और "ऐतिहासिक परिमाण के गणित में उपलब्धियों" को पहचानना।
सात समस्याओं में से केवल एक, पोंकारे अनुमान, का समाधान किया गया है - ग्रिगोरी पेरेलमैन द्वारा 2002 और 2003 में पोस्ट किए गए कार्य में, जिसके लिए उन्होंने फील्ड्स मेडल और पुरस्कार राशि दोनों को अस्वीकार कर दिया था।
आगे 'जानबूझकर जल्दबाजी' वाला मूल्यांकन
संस्थान की घोषणा पुरस्कार नियमों की ओर इशारा करती है जो आगे क्या होगा इसके लिए शासकीय रूपरेखा है। बयान में कहा गया है, "पुरस्कारों को नियंत्रित करने वाले नियम जो हासिल किया गया है उसका मूल्यांकन करने और श्रेय देने की प्रक्रिया का वर्णन करते हैं।" "प्रक्रिया में जानबूझकर देरी की गई है, लेकिन हम अपडेट प्रदान करेंगे।"
वह वाक्यांश कई प्रश्न खोलता है जिन पर गणितीय समुदाय अब खुले तौर पर बहस कर रहा है। सत्यापन पहली बाधा है: नेवियर-स्टोक्स की सहजता का प्रमाण देने के लिए आमतौर पर विशेषज्ञों की एक समिति को लाइन दर लाइन जांच करने में कई महीने लगेंगे। ओपनएआई का दावा है कि इसके परिणाम में लीन में मशीन-चेक की गई औपचारिकता शामिल है, सिद्धांत रूप में, उस समयरेखा को नाटकीय रूप से संपीड़ित किया जा सकता है, क्योंकि औपचारिक सत्यापन एक प्रमाण सहायक द्वारा स्वीकार किए जाने वाले सत्यता के प्रश्न को कम कर देता है। लेकिन संस्थान ने यह नहीं बताया है कि क्या ऐसी कोई औपचारिकता उसे सौंपी गई है, रेफरी कौन हैं, या एआई सिस्टम, ओपनएआई में इसके रचनाकारों और अकादमिक गणितज्ञों के बीच क्रेडिट कैसे बांटा जाएगा, जिनके संबंधित पेपर उसी सप्ताह सामने आए थे।
बयान में यह भी नहीं बताया गया है कि क्या एआई प्रणाली के लिए जिम्मेदार समाधान संस्थान की संस्थापक भाषा में, मानव गणितीय उपलब्धि को पहचानने के लिए पुरस्कार के लिए योग्य है - पुरस्कार के 26 साल के इतिहास में कोई मिसाल नहीं है।
घोषणा के पीछे का तनाव
घोषणा एआई और गणित के प्रतिच्छेदन के लिए एक असाधारण नाजुक क्षण पर आती है। शुक्रवार को, टेरेंस ताओ सहित 25 फील्ड मेडलिस्टों के एक समूह ने एक औपचारिक घोषणा प्रकाशित की जिसमें चेतावनी दी गई कि गणितीय बेंचमार्क पर एआई सिस्टम को प्रदर्शित करने की दौड़ विज्ञान और इसे बनाए रखने वाले समुदाय दोनों को नुकसान पहुंचा रही है - एक बयान जिसने एक दिन के भीतर 1,300 से अधिक अतिरिक्त समर्थनकर्ताओं को इकट्ठा किया, जैसा कि पहले एआई बज़ वायर द्वारा रिपोर्ट किया गया था।
दोनों दस्तावेज़ लगभग एक-दूसरे के उत्तर के रूप में पढ़े जाते हैं। गणितज्ञों की घोषणा गहरी समस्याओं को बेंचमार्क ट्रॉफी के रूप में मानने के खिलाफ चेतावनी देती है; संस्थान की घोषणा, परिणाम को गले लगाते हुए, स्पष्ट रूप से जीत के बजाय समझ के आसपास के क्षण को दर्शाती है, यह उम्मीद करते हुए कि "इस काम के पीछे के नवाचारों का विश्लेषण और पूछताछ की जाती है, नई मानवीय समझ की लहरें सामने आती हैं।"
यहां तक कि आसपास के क्षेत्र के बारे में संस्थान का अपना विवरण भी बदलाव को स्वीकार करता है: "गणितीय अनुसंधान में तेजी लाने के लिए नई प्रौद्योगिकियों की बढ़ती क्षमता ने प्रत्याशा की इस भावना को बढ़ा दिया है," बयान में कहा गया है, आसन्न क्षेत्रों में हाल की सफलताओं का श्रेय - कुछ को क्ले रिसर्च अवार्ड द्वारा मान्यता प्राप्त है - इस उम्मीद के साथ कि नेवियर-स्टोक्स जल्द ही गिर सकते हैं।
आगे क्या आता है
अभी के लिए, व्यावहारिक निष्कर्ष संकीर्ण लेकिन वास्तविक है: जिस संस्थान के पास समस्या है, उसने रिकॉर्ड में कहा है कि वह मानता है कि समस्या स्पष्ट रूप से सुलझ गई है, और मूल्यांकन आगे बढ़ने पर सार्वजनिक अपडेट के लिए प्रतिबद्ध है। यदि कार्य जांच से बच जाता है, तो यह दूसरी सहस्राब्दी समस्या का समाधान होगा, दो दशकों में पहली - और इतिहास में पहली बार एआई प्रणाली के लिए विश्वसनीय, एक ऐसा अंतर जो यह तय करेगा कि गणित संस्थान अगले ऐसे दावे को कैसे संभालेंगे।
संस्थान ने धैर्य रखने को कहा है. यह देखते हुए कि प्रक्रिया, डिज़ाइन के अनुसार, जानबूझकर जल्दबाजी में की गई है, समुदाय के प्रश्न - प्रमाण, श्रेय और इसे बनाने वाली मशीन की भूमिका के बारे में - का उत्तर संस्थान की टाइमलाइन पर दिया जाएगा, न कि समाचार चक्र पर।
---
Stay Ahead of AIGet the latest AI news, analysis, and breakthroughs — all in one place.
Read more AI news →
