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