आर्टिफिशियल इंटेलिजेंस के क्षेत्र में एक ऐतिहासिक उपलब्धि में, OpenAI के एक आंतरिक सिस्टम ने 'नेवियर-स्टोक्स अस्तित्व और सहजता' (Navier-Stokes existence and smoothness) समस्या का औपचारिक प्रमाण प्रस्तुत किया है। इस समाधान ने साबित किया है कि तरल गतिशीलता (fluid dynamics) एक सीमित समय में 'सिंगुलैरिटी' विकसित कर सकती है।

  • OpenAI के एक आंतरिक मॉडल ने, जो GPT-6 Astra से कहीं अधिक शक्तिशाली है, नेवियर-स्टोक्स मिलेनियम प्राइज समस्या को हल किया है।
  • प्रमाण यह स्थापित करता है कि 3D तरल गति एक सीमित समय में 'सिंगुलैरिटी' (अनंत गति) विकसित कर सकती है।
  • यह समाधान 10,000 समवर्ती AI एजेंटों के समन्वय और 'Lean' थ्योरम प्रूवर के माध्यम से प्राप्त किया गया है।

8 सितंबर, 2026 को, OpenAI ने गणित और आर्टिफिशियल इंटेलिजेंस के क्षेत्र में एक युगांतकारी सफलता की घोषणा की। एक आंतरिक, अगली पीढ़ी के AI सिस्टम ने सफलतापूर्वक नेवियर-स्टोक्स अस्तित्व और सहजता समस्या को हल कर लिया है, जो वर्ष 2000 में क्ले मैथमेटिक्स इंस्टीट्यूट द्वारा स्थापित सात प्रतिष्ठित मिलेनियम प्राइज समस्याओं में से एक है। यह समस्या, जिसने लगभग 90 वर्षों से दुनिया के महानतम गणितज्ञों को उलझा रखा था, तीन आयामों में तरल पदार्थों के मौलिक व्यवहार से संबंधित है।

नेवियर-स्टोक्स समीकरण आधुनिक भौतिकी का आधार हैं, जिनका उपयोग विमान के पंखों के डिजाइन, मौसम के पूर्वानुमान और मानव शरीर में रक्त प्रवाह को समझने जैसे कार्यों में किया जाता है। ये समीकरण तरल पदार्थ को एक निरंतर माध्यम के रूप में मानते हैं। मुख्य रहस्य यह था कि क्या ये समीकरण हमेशा 'सहज' (smooth) समाधान प्रदान कर सकते हैं या क्या वे टूट सकते हैं—एक ऐसी 'सिंगुलैरिटी' बनाकर जहाँ तरल की गति एक सीमित समय में अनंत तक बढ़ जाती है, जबकि विस्कोसिटी (viscosity) इसे रोकने की कोशिश करती है।

यह भी पढ़ें:वैज्ञानिक चेतावनी: क्या दुनिया का अंत कुछ ही हफ्तों में होने वाला है?

यह क्यों महत्वपूर्ण है

BozokMedia के विश्लेषण से पता चलता है कि यह केवल गणित की जीत नहीं है, बल्कि AI क्षमताओं में एक बड़े बदलाव का संकेत है। यह तथ्य कि एक AI सिस्टम तरल गतिशीलता की उन अमूर्त गहराइयों में जा सका जहाँ मानव जीनियस लगभग एक सदी तक असफल रहे, यह दर्शाता है कि AI अब केवल 'पैटर्न पहचान' से आगे बढ़कर 'स्वायत्त खोज' (autonomous discovery) की ओर बढ़ रहा है।

यह प्रमाण एक विशिष्ट परिदृश्य का वर्णन करता है: एक भंवर (vortex), या तरल का एक घूमता हुआ घेरा, जो अंदर की ओर सर्पिल होता है और स्पगेटी की तरह लंबा हो जाता है। जैसे-जैसे केंद्रीय क्षेत्र सिकुड़ता है, वेग अनंत की ओर बढ़ता है जबकि कुल ऊर्जा सीमित रहती है, जो भौतिकी के नियमों के अनुरूप है। त्वरण, दबाव प्रवणता और विस्कोसिटी का यह सटीक संतुलन एक बाहरी अनंत बल के बिना भी सिंगुलैरिटी बनाने की अनुमति देता है।

"मानव-नेतृत्व वाले गणितीय प्रमाणों से Lean में AI-जनरेटेड फॉर्मलाइजेशन की ओर संक्रमण 'स्वचालित वैज्ञानिक खोज' के युग की शुरुआत है।"

इस खोज के पीछे की कार्यप्रणाली परिणाम जितनी ही प्रभावशाली है। OpenAI ने लगभग 10,000 समवर्ती एजेंटों से युक्त एक मल्टी-एजेंट सिस्टम का उपयोग किया। इन एजेंटों को संवाद करने वाले समूहों में विभाजित किया गया था, जिन्हें कोड-निष्पादन टूल और इंटरनेट एक्सेस दिया गया था। दिलचस्प बात यह है कि इस सिस्टम ने अपनी खोज प्रक्रिया के हिस्से के रूप में यूलर समीकरणों (Euler equations) की नियमितता समस्या को भी हल कर लिया।

यह उपलब्धि अन्य मिलेनियम प्राइज समाधानों की अफवाहों से प्रेरित थी, जिसने OpenAI को अपने आंतरिक मॉडल—जो GPT-6 Astra से काफी अधिक सक्षम है—को गणित की सबसे कठिन समस्याओं पर परखने के लिए प्रेरित किया। परिणाम केवल एक लेख नहीं है, बल्कि एक Lean फॉर्मलाइज्ड प्रूफ है, जिसका अर्थ है कि तर्क को कंप्यूटर द्वारा सत्यापित किया गया है कि वह गणितीय रूप से सही है।

क्या आप जानते हैं?: मिलेनियम प्राइज समस्याओं में से प्रत्येक के लिए 1 मिलियन डॉलर का पुरस्कार रखा गया है, लेकिन वैज्ञानिक समुदाय के लिए इनका बौद्धिक मूल्य अनमोल माना जाता है।

अक्सर पूछे जाने वाले प्रश्न

प्रश्न: तरल गतिशीलता में 'सिंगुलैरिटी' क्या है?
उत्तर: सिंगुलैरिटी तब होती है जब गणितीय समीकरण किसी विशिष्ट समय पर एक मान (जैसे गति) को अनंत बना देते हैं, जो भौतिक प्रणाली का वर्णन करने में मॉडल की विफलता को दर्शाता है।

प्रश्न: Lean प्रमाण एक मानक गणित पेपर से कैसे अलग है?
उत्तर: एक मानक पेपर मनुष्यों द्वारा पढ़ा और समीक्षा किया जाता है; जबकि Lean प्रमाण एक औपचारिक भाषा में लिखा जाता है जिसे कंप्यूटर चरण-दर-चरण सत्यापित कर सकता है, जिससे मानवीय त्रुटि की कोई गुंजाइश नहीं रहती।