विवाद का सार

नेवियर-स्टोक्स समीकरण गणित की सबसे प्रसिद्ध अनसुलझी समस्याओं में से एक है। ओपनएआई की ओर से इस संबंध में प्रस्तुत प्रमाण को लेकर सवाल उठे कि आखिर यह प्रमाण उस मूल समस्या को हल करता है या नहीं, जिसे मिलेनियम प्राइज़ समस्याओं में गिना जाता है। विवाद का मुख्य दावा यह था कि एआई द्वारा प्रमाणित की गई व्याख्या उस समस्या से अलग है, जिस पर गणितज्ञ काम कर रहे थे।

स्रोतों की समीक्षा और निर्णय

इस मुद्दे पर 12 प्राथमिक स्रोतों की समीक्षा के बाद अंतिम निर्णय 'आंशिक सत्य' के रूप में दर्ज किया गया। इसका मतलब यह है कि दावे का एक हिस्सा समर्थित पाया गया, जबकि उसे पूरी तरह स्वीकार या खारिज करने का आधार उपलब्ध नहीं रहा। यह ध्यान देने योग्य है कि दावे के किन पहलुओं को सही और किन्हें अपुष्ट माना गया, इसका विस्तृत विवरण सार्वजनिक रूप से उपलब्ध नहीं है।

एआई और गणित अनुसंधान के बीच तनाव

यह घटना एआई मॉडलों द्वारा गणितीय प्रमाणों की स्वीकार्यता को लेकर चल रही बड़ी बहस का हिस्सा है। एआई द्वारा प्रस्तुत प्रमाण तकनीकी रूप से गणितीय हो सकते हैं, लेकिन यह स्पष्ट नहीं है कि वे उस समस्या की परिभाषा से मेल खाते हैं जिसे शुद्ध गणित समुदाय महत्वपूर्ण मानता है। ओपनएआई के दावे और गणितज्ञों की अपेक्षाओं के बीच इस अंतर पर ही विवाद केंद्रित है।

निष्कर्ष

ओपनएआई के 'नेवियर-स्टोक्स' प्रमाण से जुड़े विवाद में यह दावा कि "यह गणितज्ञों की हल करने की कोशिश करती समस्या नहीं है", 12 प्राथमिक स्रोतों की समीक्षा के बाद पूर्ण सत्य नहीं माना गया; अंतिम निर्णय के अनुसार यह दावा आंशिक रूप से सही है।