OpenAI ने क्या प्रकाशित किया
OpenAI ने उस दावे का पूरा आधार सार्वजनिक कर दिया है कि उसने त्रिविमीय नेवियर-स्टोक्स समीकरणों में परिमित समय में विचित्रता खोज ली है: अपनी वेबसाइट पर एक विवरण, एक शोधपत्र, और मशीन से जाँचने योग्य प्रमाण फ़ाइलें एक सार्वजनिक गिटहब रिपॉज़िटरी में। कंपनी ने कहा है कि वह इस परिणाम के लिए क्ले मैथमैटिक्स इंस्टिट्यूट का दस लाख डॉलर का मिलेनियम पुरस्कार माँगने का इरादा नहीं रखती।
सोमवार से यही बदला है, जब यह दावा केवल शोधकर्ताओं के बीच घूमते एक विवरण के रूप में मौजूद था। रिपॉज़िटरी में लीन 4 में औपचारिकीकरण हैं, जो मैथलिब पर बने हैं और अपाचे 2.0 लाइसेंस के तहत जारी हुए हैं — धनात्मक श्यानता वाले दो नेवियर-स्टोक्स मामलों के लिए, एक पूरे समष्टि में और एक आवर्ती टोरस पर, तथा साथ में एक ऑयलर संरचना के लिए। जिसके पास लीन है, वह अब भरोसे के बजाय प्रमाणपत्र स्वयं चला सकता है।
OpenAI द्वारा बताए गए आँकड़े
गणना के आँकड़े OpenAI से आए हैं और उनकी स्वतंत्र जाँच नहीं हुई है। कंपनी का कहना है कि काम में एक आंतरिक मॉडल इस्तेमाल हुआ, जिसे वह GPT-6 Astra से काफ़ी अधिक सक्षम बताती है, और सितंबर की शुरुआत में लगभग 10,000 एजेंट क़रीब 88 घंटे तक समानांतर चले तथा लगभग 130 अरब आउटपुट टोकन बनाए। द नेक्स्ट वेब के अनुसार, लगभग 17 घंटे और GPT-6 Astra से तर्क को औपचारिक रूप देने में लगे।
ये संसाधन हैं, प्रमाण नहीं। प्रमाण लीन फ़ाइल है, और लीन को इससे कोई फ़र्क़ नहीं पड़ता कि उसे कितने एजेंटों ने लिखा।
पुरस्कार क्यों नहीं माँगा जा रहा
नेवियर-स्टोक्स समस्या का क्ले का प्रारूप चार कथनों में बँटा है। OpenAI कहती है कि उसका परिणाम कथन C और D स्थापित करता है — यानी विघटन वाले विकल्प, जो ऐसा हल दिखाकर समस्या सुलझाते हैं जो चिकना बना नहीं रहता। कंपनी यह भी कहती है कि वह पुरस्कार नहीं माँगेगी।
कारण संरचना में है। द्रव विश्राम से शुरू होता है और पूरे समय उस पर एक चिकना बाहरी बल लगाया जाता है, और विचित्रता उसी बल के अधीन उभरती है। बलयुक्त उदाहरण शास्त्रीय प्रश्न के लिए गिना जाएगा या नहीं, यह निर्णय गणितज्ञों और क्ले का है, किसी प्रमाण सहायक का नहीं। संस्थान का अपना पृष्ठ अब भी नेवियर-स्टोक्स को खुली समस्या बताता है।
श्रेय का विवाद अब भी जारी है
यह परिणाम उस विवाद के बीच आया है जिस पर Aivio News ने सोमवार को लिखा था। न्यूयॉर्क विश्वविद्यालय के ट्रिस्टन बकमास्टर और Anthropic के लेवेंट अल्पोगे ने सरंध्र माध्यम, बुसिनेस्क और ऑयलर समीकरणों के लिए अपने एआई-सहायित और लीन-सत्यापित ब्लोअप प्रमाण प्रकाशित किए थे, और बकमास्टर ने एक बयान जारी कर बताया कि OpenAI ने नेवियर-स्टोक्स परिणाम के समय और लेखकत्व को लेकर उनसे किस तरह संपर्क किया। OpenAI के सेबास्तिएन बुबेक ने उस विवरण को झूठा और भड़काऊ बताया।
क्वांटा मैगज़ीन ने बताया कि प्रिंसटन के चार्ल्स फेफरमैन, जिन्होंने समस्या का आधिकारिक कथन लिखा था, ने डिएगो कोर्दोबा और लुइस मार्तिनेस-सोरोआ को इस कहानी का नायक कहा — वही जोड़ी जिनकी ग़ैर-संगणनात्मक विधि पर दोनों प्रयास टिके हैं।
आगे क्या देखना है
अब दो बातें बहस के बजाय जाँच की चीज़ हैं। पहली, क्या स्वतंत्र गणितज्ञ लीन फ़ाइलें संकलित करके पुष्टि करते हैं कि वे वही सिद्ध करती हैं जो विवरण कहता है। दूसरी, क्या क्ले मैथमैटिक्स इंस्टिट्यूट बल-पदों पर कुछ कहता है। तब तक ईमानदार विवरण यही है कि एक मशीन-सत्यापित विचित्रता मौजूद है और पुरस्कार वाले प्रश्न से उसका संबंध तय नहीं है।
