OpenAI के 8 सितंबर 2026 के प्रकाशन में त्रि-आयामी Navier–Stokes समीकरणों के लिए सीमित समय में विलक्षणता दिखाने वाला विश्लेषणात्मक प्रमाण और उसका Lean औपचारिकीकरण प्रस्तुत किया गया है। यह कंपनी का प्रस्तावित समाधान है; 9 सितंबर तक इसे व्यापक स्वतंत्र स्वीकृति या Clay Mathematics Institute की पुरस्कार मान्यता नहीं मिली थी।
उसी घटना के साथ एक अलग प्रश्न भी खुला है। Axios की घटनाक्रम-रिपोर्ट के अनुसार, गणितज्ञ Tristan Buckmaster ने आरोप लगाया कि OpenAI ने उनके और Levent Alpöge के संबंधित काम की जानकारी मिलने के बाद प्रयास तेज किया; OpenAI ने उनके विशिष्ट उपयोगकर्ता डेटा तक पहुँचने से इनकार किया है। इसलिए प्रमाण की वैधता और शोध का श्रेय अभी दो अलग, अनिर्णीत प्रश्न हैं।
प्रस्तावित प्रमाण वास्तव में क्या स्थापित करता है
OpenAI का निर्माण चिकने आरंभिक डेटा वाले, विराम की अवस्था से शुरू होने वाले त्रि-आयामी असंपीड्य द्रव पर लागू होता है। उस पर चिकना बाहरी बल लगाया जाता है और उसकी ऊर्जा सीमित रहती है, फिर भी वेग सीमित समय में अपरिबद्ध हो जाता है। गणितीय अर्थ में यही विलक्षणता है।
दावा यह नहीं है कि वास्तविक पानी या हवा अचानक अनंत वेग पकड़ लेगी। दावा यह है कि आधिकारिक समीकरणों के भीतर ऐसी गतिशीलता बनाई जा सकती है जिसमें चिपचिपाहट के बावजूद चिकना हल टूट जाता है। प्रस्तावित हल में भीतर की ओर सिमटता और लंबा होता भंवर तेज होता जाता है, जबकि समीकरण के बड़े पद इस तरह संतुलित होते हैं कि बाहरी बल चिकना बना रहता है।
OpenAI इसे आधिकारिक समस्या-विवरण के कथनों “C” और “D” की स्थापना मानता है। यही वह तकनीकी बिंदु है जिसकी विशेषज्ञों को जाँच करनी होगी: निर्माण की हर धारणा, अनुमान और निष्कर्ष आधिकारिक Navier–Stokes प्रश्न की शर्तों से मेल खाते हैं या नहीं।
लगभग 10,000 एजेंटों ने खोज की, Lean ने तर्क को औपचारिक बनाया
यह परिणाम किसी एक प्रश्न पर मॉडल के एक उत्तर से नहीं निकला। OpenAI ने 1 सितंबर को खुली सहस्राब्दी समस्याओं पर प्रयोग शुरू किया और अपने आंतरिक मॉडल से संचालित एजेंटों के समूहों को अलग-अलग संभावित दिशाएँ सौंपीं। समाधान तक पहुँचने वाले समूह में लगभग 10,000 समकालीन एजेंट थे, जिन्हें संचित इंटरनेट सामग्री पढ़ने और कोड चलाने जैसे साधन मिले थे।
कंपनी के विवरण में एजेंटों को प्रस्तावित समाधान तक पहुँचने में लगभग 88 घंटे लगे। GPT-6 Astra की सहायता से Lean औपचारिकीकरण और सत्यापन में 17 घंटे और लगे। Navier–Stokes प्रयास में लगभग 27 लाख संदेश और करीब 130 अरब आउटपुट टोकन लगे; सभी आजमाई गई समस्याओं का कुल उपयोग लगभग 300 अरब आउटपुट टोकन था।
ये आँकड़े खोज का पैमाना बताते हैं, सत्यता का स्वतंत्र प्रमाण नहीं हैं। Lean औपचारिक कथन के दर्ज तार्किक चरणों को चुनी हुई परिभाषाओं और स्वीकृत आधारों के विरुद्ध जाँच सकता है। फिर भी गणितज्ञों को देखना होगा कि औपचारिक कथन मूल समस्या को सही तरह व्यक्त करता है और मानव-पठनीय प्रमाण में कोई ऐसी धारणा नहीं जो औपचारिकीकरण या आधिकारिक प्रश्न से बाहर रह गई हो।
श्रेय विवाद में क्या आरोप है और क्या स्वीकार किया गया
Buckmaster और Anthropic के शोधकर्ता Alpöge द्रव समीकरणों की संबंधित दिशा में काम कर रहे थे। OpenAI ने स्वीकार किया है कि उसका अभियान ऐसी अफवाह सुनने के बाद शुरू हुआ जिसे उसने बाद में इन दोनों के काम से जुड़ा समझा। कंपनी का कहना है कि उसके शोधकर्ताओं और एजेंटों ने सार्वजनिक प्रकाशन से पहले उनका काम नहीं देखा और समाधान बनाने के लिए किसी विशिष्ट उपयोगकर्ता डेटा का इस्तेमाल नहीं किया।
OpenAI ने एक संकरी अनिश्चितता छोड़ी है: पहचान-रहित उत्पाद-उपयोग डेटा ने उसके मॉडलों के सुधार में अप्रत्यक्ष योगदान दिया हो, इसे वह पूरी तरह खारिज नहीं कर सकता। यह स्वीकारोक्ति किसी निजी प्रमाण या संकेत के इस्तेमाल को सिद्ध नहीं करती, लेकिन विवाद का केंद्रीय भरोसा-संबंधी प्रश्न बनाए रखती है—क्या AI उपकरण इस्तेमाल करने वाले शोधकर्ता आश्वस्त हो सकते हैं कि उनकी अप्रकाशित दिशा उसी प्रदाता के प्रतिस्पर्धी प्रयास को प्रभावित नहीं करेगी।
WIRED की स्वतंत्र रिपोर्टिंग में लेखकत्व पर भी परस्पर विरोधी दावे दर्ज हैं। Buckmaster का आरोप है कि एक प्रस्ताव में उनसे OpenAI के परिणाम पर लेख प्रकाशित करने, लेकिन Alpöge को लेखक न बनाने की बात कही गई; OpenAI के Sébastien Bubeck ने इस व्याख्या का विरोध किया। उपलब्ध सार्वजनिक सामग्री अभी आरोप और प्रतिवाद दिखाती है, अनुचित डेटा-प्रवाह या विचार की चोरी का स्थापित निष्कर्ष नहीं।
Buckmaster–Alpöge का Euler समीकरणों से संबंधित परिणाम और OpenAI का मुख्य Navier–Stokes दावा एक ही प्रमेय नहीं हैं। इसलिए प्राथमिकता केवल साझा शब्दों या पास-पास की प्रकाशन तिथियों से तय नहीं हो सकती। निर्णय के लिए तकनीकी विचारों की समानता, निजी संवादों की समयरेखा और स्वतंत्र विकास के दस्तावेजों की तुलना चाहिए।
औपचारिक सत्यापन, सामुदायिक स्वीकृति और पुरस्कार तीन पड़ाव हैं
Lean में सत्यापित होना Clay की मान्यता के बराबर नहीं है।Clay Mathematics Institute के नियम बताते हैं कि किसी प्रस्तावित समाधान पर विचार से पहले उसे योग्य प्रकाशन में आना चाहिए, प्रकाशन के बाद कम से कम दो वर्ष बीतने चाहिए और वैश्विक गणित समुदाय में सामान्य स्वीकृति मिलनी चाहिए। पुरस्कार का अधिकार और अंतिम निर्णय संस्थान के पास है।
इसलिए मौजूदा स्थिति चार स्तरों में समझी जानी चाहिए: OpenAI ने गणितीय दावा प्रकाशित किया है; उससे जुड़ी Lean कलाकृति उपलब्ध है; व्यापक बाहरी समीक्षा और स्वीकृति अभी बाकी है; और शोध-श्रेय पर अलग विवाद चल रहा है। एक स्तर पर प्रगति दूसरे तीन स्तरों को स्वतः पूरा नहीं करती।
9 सितंबर 2026 तक विशेषज्ञों के पास जाँचने योग्य प्रमाण और औपचारिक फाइलें हैं, लेकिन अंतिम गणितीय या संस्थागत फैसला नहीं। आगे समीक्षा यह तय करेगी कि प्रस्तावित कथन आधिकारिक समस्या को पूर्णतः हल करता है या नहीं; अलग साक्ष्य और समयरेखाएँ बताएँगी कि OpenAI, Buckmaster और Alpöge के संबंधित योगदानों को किस तरह श्रेय मिलना चाहिए।
