ज़्यादातर सही
OpenAI ने घोषणा की है कि उसने गणित की सात प्रमुख अनसुलझी समस्याओं (Millennium Prize Problems) में से एक, नेवियर-स्टोक्स समीकरण का हल खोज लिया है। हालांकि, इस हल की वास्तविक गणितीय सत्यता अभी स्वतंत्र सत्यापन की प्रतीक्षा में है और Clay Mathematics Institute (CMI) की ओर से अभी कोई आधिकारिक मान्यता नहीं मिली है।
OpenAI की आधिकारिक घोषणा और संबंधित Lean रिपॉज़िटरी, साथ ही कई स्वतंत्र मीडिया रिपोर्ट्स के आधार पर यह स्थापित है कि कंपनी ने वाकई ऐसी घोषणा की है। प्राथमिक स्रोतों की समीक्षा से घोषणा का अस्तित्व पुष्ट किया गया है।
यह ध्यान देने योग्य है कि "हल खोजा" की गणितीय सच्चाई अभी सत्यापन प्रक्रिया के चरण में है। स्वतंत्र सत्यापन या CMI की आधिकारिक स्वीकृति अभी उपलब्ध नहीं है। इसलिए "OpenAI ने नेवियर-स्टोक्स समस्या को हल कर दिया है" जैसे व्यापक दावे को इस समय पूर्ण रूप से स्थापित करने के लिए पर्याप्त आधार नहीं है। घोषणा की गई बात और हल की गणितीय प्रमाणितता — दोनों के बीच का यह अंतर समझना ज़रूरी है।
निष्कर्ष: OpenAI द्वारा नेवियर-स्टोक्स समीकरण के हल की घोषणा एक स्थापित तथ्य है, जिसे हम इस समय के आधार पर "ज़्यादातर सही" मानते हैं, क्योंकि स्वतंत्र सत्यापन और आधिकारिक मान्यता अभी बाकी है।