उत्तरप्रकाशित15 स्रोत
OpenAI की 722 गणितीय पांडुलिपियाँ: असली कसौटी प्रमाण की जाँच
OpenAI ने 6 अक्टूबर 2026 को 372 परिणाम समूहों में बाँटी 722 पांडुलिपियाँ जारी कीं—यह 722 स्वतंत्र रूप से सत्यापित खोजों की गिनती नहीं है। कंपनी के अनुसार, हर परिणाम पर औसतन करीब 3 घंटे की कंप्यूटिंग लगी; Navier–Stokes के पहले के प्रयास में एजेंटों ने कथित तौर पर 88 घंटे काम किया।
प्रकाशितकर्ताGPT-6 Luna से संपादितGPT Image 2 से चित्र बनाए गए
शोध उत्तर
मुख्य निष्कर्ष
- OpenAI ने 6 अक्टूबर 2026 को 372 परिणाम समूहों में बाँटी 722 पांडुलिपियाँ जारी कीं—यह 722 स्वतंत्र रूप से सत्यापित खोजों की गिनती नहीं है।
- कंपनी के अनुसार, हर परिणाम पर औसतन करीब 3 घंटे की कंप्यूटिंग लगी; Navier–Stokes के पहले के प्रयास में एजेंटों ने कथित तौर पर 88 घंटे काम किया।
AI संकेत
openai.comCreate a landscape editorial hero image for this Studio Global article: What does the scrutiny of OpenAI’s October 6 release of 722 AI-generated mathematical manuscripts in 372 result families reveal about the re. Article summary: The scrutiny shows both the promise and the verification bottleneck of AI-assisted mathematics: an unreleased model can produce substantial work quickly, but a computer-checked proof does not automatically validate the s. Topic tags: general, academic, general web, user generated, education. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, water
OpenAI ने 6 अक्टूबर 2026 को गणितीय काम की 722 पांडुलिपियाँ जारी कीं, जिन्हें 372 परिणाम-समूहों में बाँटा गया है। यह संग्रह बड़े पैमाने पर AI-सहायता से शोध करने की क्षमता दिखाता है—और साथ ही एक अहम सवाल उठाता है: क्या कंप्यूटर ने ठीक उसी कथन का प्रमाण जाँचा है जो पांडुलिपि में लिखा है? Proof assistant यानी औपचारिक प्रमाण-जाँच सॉफ़्टवेयर, औपचारिक रूप में लिखे तर्क की जाँच कर सकता है; लेकिन उस औपचारिक कथन का पांडुलिपि के दावे से मेल खाना भी अलग से देखना पड़ता है। इसलिए इस संग्रह को जाँच के लिए उपलब्ध काम समझना चाहिए, 722 स्वतंत्र रूप से स्थापित खोजों की सूची नहीं। 12
7
722 पांडुलिपियाँ, लेकिन 722 पुष्ट खोजें नहीं
OpenAI के मुताबिक, ये पांडुलिपियाँ कंपनी के एक ऐसे आंतरिक मॉडल से आईं जिसे सार्वजनिक नहीं किया गया है। कंपनी का कहना है कि मूल्यांकन के दौरान मॉडल के सामने करीब 4,000 समस्याएँ रखी गईं और हर परिणाम पर औसतन लगभग 3 घंटे की कंप्यूटिंग लगी। ये आँकड़े प्रयास का पैमाना बताते हैं; अपने आप में किसी परिणाम की शुद्धता या गणितीय अहमियत साबित नहीं करते। 1
3
7
पांडुलिपियों को परिणाम-समूहों में भी बाँटा गया है। इसलिए कुल संख्या को अलग-अलग, स्वतंत्र रूप से सत्यापित सफलताओं की संख्या नहीं मानना चाहिए। हर दावे का मूल्यांकन उसके तर्क और गणितज्ञों की समीक्षा के आधार पर ही हो सकता है। 7
12
Navier–Stokes का उदाहरण: लिखित और औपचारिक प्रमाण का मेल क्यों ज़रूरी है
OpenAI के पहले के Navier–Stokes काम पर उठी एक खास आपत्ति Lemma 8.6 से जुड़ी है। आम पाठक के लिए कहें तो, यह प्रमाण का एक सहायक दावा है। पांडुलिपि में दिए गए अनुमान के लिए m + 4 तक के अवकलजों से जुड़ी नियमितता की शर्त है, जबकि उसके अनुरूप Lean संस्करण में m + 5 तक की शर्त आती है। अतिरिक्त अवकलज की माँग का अर्थ है कि औपचारिक संस्करण अधिक कड़ी पूर्व-शर्त पर लागू होता है और इस तरह पांडुलिपि में लिखे दावे से कमजोर अनुमान साबित करता है। 2
यह अंतर अपने आप में यह साबित नहीं करता कि दोनों में से कोई संस्करण अमान्य है, न ही इससे पूरे परिणाम का फैसला हो जाता है। लेकिन इसका अर्थ है कि कंप्यूटर की सफल जाँच को पांडुलिपि के अधिक मजबूत कथन की पुष्टि नहीं माना जा सकता। समीक्षकों को देखना होगा कि लेख में क्या दावा है और Lean कोड वास्तव में किस कथन को औपचारिक रूप देता है। 2
औपचारिक सत्यापन की यही सामान्य सीमा है: proof assistant अपनी औपचारिक भाषा में दर्ज कथन की जाँच करता है। वह अपने आप यह नहीं बता सकता कि उस कथन को शोध-पत्र से सही-सही उतारा गया है या नहीं। दोनों के बीच अंतर मिले तो सावधानी से जाँचने की वजह बनती है—यह न तो जानबूझकर दावा कमजोर करने का प्रमाण है, न इस बात का कि AI से बने हर प्रमाण में यही समस्या है। 2
कंप्यूटिंग तेज़ हो सकती है; समीक्षा में समय लगता है
OpenAI ने हर परिणाम पर औसतन करीब 3 घंटे की कंप्यूटिंग लगने की बात कही है। अलग से, पहले के Navier–Stokes प्रयास की रिपोर्टिंग में एजेंटों के लगभग 88 घंटे चलने का ज़िक्र है। ये आँकड़े अलग-अलग प्रयासों के हैं; इनमें से कोई भी यह नहीं बताता कि स्वतंत्र गणितज्ञों को उन तर्कों की जाँच में कितना समय लगेगा। 1
3
7
पहले के Navier–Stokes प्रमाण की पड़ताल में एक टीम को कथित तौर पर लगभग दो हफ्ते लगे। यह दो हफ्ते 6 अक्टूबर को जारी पूरे संग्रह की समीक्षा के लिए नहीं थे—वह संग्रह तब हाल ही में सामने आया था। पांडुलिपि तैयार करना और गणित को स्वतंत्र रूप से जाँचना अलग काम हैं; इतने बड़े संग्रह से समीक्षा का काम भी काफी बढ़ जाता है। 2
Lean मददगार है, पर हर सवाल का जवाब नहीं
Lean में लिखे औपचारिक प्रमाण के तार्किक चरणों की सॉफ़्टवेयर से जाँच की जा सकती है। लेकिन OpenAI के संग्रह में परिणाम सत्यापन के अलग-अलग चरणों में हैं और हर पांडुलिपि के साथ Lean औपचारिक रूप उपलब्ध नहीं है। कंपनी का कहना है कि वह आगे और औपचारिक रूप जोड़ती रहेगी। 7
12
जहाँ औपचारिक कोड उपलब्ध हो और जाँच में सफल भी हो, वहाँ भी यह देखना ज़रूरी है कि वह पांडुलिपि वाला ही कथन साबित करता है या नहीं और परिणाम गणितीय रूप से कितना अर्थपूर्ण है। तर्क का पहले के काम से संबंध क्या है, यह तय करने के लिए भी मानवीय समीक्षा चाहिए। सफल औपचारिक जाँच अकेले इन सवालों का निपटारा नहीं करती। 2
7
असली कसौटी क्या है?
यह संग्रह दिखाता है कि AI बड़े पैमाने पर गणितीय सामग्री तैयार कर सकता है; वह गणितीय समीक्षा की जगह नहीं लेता। हर परिणाम को अलग-अलग परखना उपयोगी होगा: दावा ठीक-ठीक क्या है, लिखित तर्क और उपलब्ध औपचारिक प्रमाण आपस में मेल खाते हैं या नहीं, और क्या गणितज्ञों ने उसे स्वतंत्र रूप से सत्यापित किया है। 2
7
12
Lemma 8.6 का अंतर बताता है कि यह फर्क क्यों मायने रखता है। AI गणितीय खोज की रफ़्तार बढ़ा सकता है, लेकिन भरोसा पांडुलिपियों की संख्या या कंप्यूटिंग समय से नहीं—स्पष्ट दावों, लिखित और औपचारिक प्रमाण के मेल, और सावधानीपूर्वक जाँच से बनेगा।
Studio Global AI
अपना शोध जारी रखें
इस पृष्ठ में एक स्रोत-समर्थित उत्तर शामिल है जिसे आप Studio Global के अंदर जारी रख सकते हैं।
लोग पूछते भी हैं
"OpenAI की 722 गणितीय पांडुलिपियाँ: असली कसौटी प्रमाण की जाँच" का संक्षिप्त उत्तर क्या है?
OpenAI ने 6 अक्टूबर 2026 को 372 परिणाम समूहों में बाँटी 722 पांडुलिपियाँ जारी कीं—यह 722 स्वतंत्र रूप से सत्यापित खोजों की गिनती नहीं है।
सबसे पहले सत्यापित करने योग्य मुख्य बिंदु क्या हैं?
OpenAI ने 6 अक्टूबर 2026 को 372 परिणाम समूहों में बाँटी 722 पांडुलिपियाँ जारी कीं—यह 722 स्वतंत्र रूप से सत्यापित खोजों की गिनती नहीं है। कंपनी के अनुसार, हर परिणाम पर औसतन करीब 3 घंटे की कंप्यूटिंग लगी; Navier–Stokes के पहले के प्रयास में एजेंटों ने कथित तौर पर 88 घंटे काम किया।