लाभ:
- प्रमाण के विचार और विधि (प्रत्यक्ष, विरोधाभास, आगमनात्मक, गर्भनिरोधक) को खोजने और प्रत्येक तार्किक कदम की वैधता की स्वयं जांच करने के लिए कृत्रिम बुद्धिमत्ता का उपयोग करने की क्षमता
- 'स्पष्ट रूप से', 'सामान्यता पर प्रतिकूल प्रभाव डाले बिना' जैसी अभिव्यक्तियों के पीछे स्पष्ट अंतराल, अंतर्निहित धारणाओं और अनुचित छलांग की पहचान करने की क्षमता
- किसी दावे की सच्चाई के बारे में सुनिश्चित हुए बिना सबूत पर भरोसा करने से पहले प्रतिउदाहरणों की तलाश करके प्रवाह और वैधता के बीच अंतर करने की क्षमता।
गणितीय प्रमाण स्वीकृत सिद्धांतों और पहले से सिद्ध प्रमेयों से तार्किक चरणों में दावे की सटीक व्युत्पत्ति है। प्रमाण गणित का सबसे कठोर उत्पाद है: एक एकल अमान्य तार्किक संक्रमण, एक चूक या अंतर्निहित धारणा जिसे हम "अंतराल" कहते हैं, संपूर्ण प्रमाण का खंडन करता है। सबूत के लिए ठोस दिखने वाला पाठ तैयार करने में कृत्रिम बुद्धिमत्ता बहुत कुशल है - और यही कारण है कि यह खतरनाक है। ऐसा पाठ जो आश्वस्त करने वाला लगता है वह वैध प्रमाण नहीं है। इस इकाई में आप सीखेंगे कि प्रूफ ड्राफ्टिंग पार्टनर के रूप में एआई का उपयोग कैसे करें और प्रत्येक तार्किक चरण का निरीक्षण कैसे करें।
पहली दो परिभाषाएँ. प्रूफ़ स्केच एक सारांश है जो प्रूफ़ का मुख्य विचार और ढांचा देता है, लेकिन हर विवरण नहीं भरता है। प्रूफ़ गैप एक छलांग है जिसमें प्रूफ़ कहता है "यहाँ यह अनुसरण करता है" लेकिन वास्तव में इसे उचित नहीं ठहराता है। एआई के साथ काम करते समय सबसे बड़ा जोखिम प्रेरक वाक्यों द्वारा कवर किए गए अंतराल हैं: पाठ तरल है, "इसलिए" और "स्पष्ट रूप से" जैसे संयोजनों से भरा है, लेकिन बीच में छलांग के साथ वास्तव में सिद्ध नहीं होते हैं।
सबूत में एआई की ताकत और कमजोरियां
एआई प्रमाण में दो चीजें अच्छी तरह से करता है: (1) किसी ज्ञात प्रमेय के प्रमाण के मानक विचार को उद्घाटित करना, (2) सुझाव देना कि प्रमाण के लिए कौन सी विधि (प्रेरण, विरोधाभास, प्रत्यक्ष, गर्भनिरोधक) उपयुक्त हो सकती है। इसकी कमजोरी यह है: यह सुनिश्चित करना कि मूल या सूक्ष्म प्रमाण का प्रत्येक चरण वास्तव में वैध है। एआई ऐसे "गलत सबूत" पेश कर सकता है जो सच लगते हैं लेकिन वास्तव में झूठे होते हैं - उदाहरण के लिए, यह एक प्रेरण चरण में मूल मामले को छोड़ सकता है, या यह कह सकता है कि "सामान्यता को तोड़े बिना" लेकिन एक धारणा बना सकता है जो वास्तव में व्यापकता को तोड़ता है।
तो प्रमाण में सुनहरा नियम: प्रमाण के विचार को खोजने और रेखांकित करने के लिए एआई का उपयोग करें; प्रत्येक तार्किक कदम की वैधता स्वयं जांचें। किसी प्रमाण को "स्वीकार" करने से पहले, सुनिश्चित करें कि प्रत्येक "इसलिए" वास्तव में मान्य है।
चरण दर चरण: प्रमाण की जाँच करना
1. दावे और धारणाओं को स्पष्ट करें. क्या सिद्ध किया जा रहा है? किस धारणा के तहत? यदि ये अस्पष्ट हैं तो प्रमाण भी अस्पष्ट है।
2. प्रमाण विधि जानें. प्रत्यक्ष रूप से, विरोधाभास से, आगमनात्मक रूप से, प्रतिसकारात्मक रूप से? विधि की संरचनात्मक आवश्यकताओं को जानें (उदाहरण के लिए, इंडक्शन में, बेस केस + इंडक्शन चरण आवश्यक है)।
3. हर "इसलिए" पर सवाल उठाएं। प्रत्येक तार्किक परिवर्तन पर, "क्या यह वास्तव में पिछले चरणों का अनुसरण करता है?" पूछना। सबसे घातक अंतराल "स्पष्ट रूप से", "यह आसानी से देखा जा सकता है", "सामान्यता खोए बिना" अभिव्यक्तियों के पीछे छिपा है।
4. अंतर्निहित धारणाओं की तलाश करें। क्या प्रमाण किसी अनकही धारणा पर निर्भर करता है? उदाहरण के लिए, यह चुपचाप स्वीकार किया जा सकता है कि कोई संख्या सकारात्मक है या कोई फ़ंक्शन निरंतर है।
5. एक प्रतिउदाहरण का प्रयास करें. यदि दावा झूठा है, तो एक प्रतिउदाहरण इसे ध्वस्त कर देता है। प्रमाण स्वीकार करने से पहले, परीक्षण करें कि साधारण विशेष मामलों में दावा वास्तव में सत्य है।
6. खरीद प्राधिकारी से परामर्श लें. ज्ञात प्रमेयों के लिए मानक प्रमाण की तुलना किसी विश्वसनीय स्रोत (पाठ्यपुस्तक, सहकर्मी-समीक्षित स्रोत) से करें।
संकेत: प्रमाण में वाक्यांश "सामान्यता की हानि के बिना" एक दोधारी तलवार है। कभी-कभी यह वास्तव में वैध होता है (यदि समरूपता है), तो कभी-कभी यह एक छिपी हुई त्रुटि होती है। AI इस अभिव्यक्ति का बहुत उपयोग करता है। हर बार अपने आप को उचित ठहराएँ कि "सामान्यता वास्तव में टूटी नहीं है"; इसके लिए एआई का शब्द न लें।
सबूत के तरीके और नुकसान
प्रमाण विधि
संरचना
सबसे आम एआई जाल
प्रत्यक्ष
अनुमान → ... → निष्कर्ष
बीच में एक कदम छोड़ना
विरोधाभास
विपरीत मान लें → विरोधाभास खोजें
विरोधाभास वास्तविक नहीं है
प्रेरण
बेस केस + स्टेप
मूल स्थिति को भूल जाना
गर्भनिरोधक
¬निष्कर्ष → ¬धारणा
मिथ्या निषेध
प्रतिउदाहरण (खंडन)
एकल प्रति उदाहरण
प्रतिउदाहरण अमान्य है
तीन मिनी मामले
केस 1 - अपूर्ण आधार केस। एक शिक्षक ने एआई से सूत्र "1 + 2 + ... + n = n(n+1)/2" को प्रेरण द्वारा सिद्ध किया। एआई ने इंडक्शन चरण को सही ढंग से लिखा लेकिन बेस केस (n=1) की कभी जांच नहीं की। शिक्षक पूछता है "आधार मामला कहाँ है?" उसने पूछा; एआई जोड़ा गया। जमीनी स्थिति के बिना, प्रेरण अमान्य है; 30 सेकंड की जांच से सबूत बच गया।
केस 2 - शून्य से गुप्त विभाजन। एक छात्र ने "प्रत्येक ए, बी के लिए ए = बी" जैसा हास्यास्पद "प्रमाण" देखा और एआई से पूछा "यहां गलती कहां है?" उसने पूछा. YZ ने सही ढंग से दिखाया कि प्रमाण एक चरण में (a - b) से विभाजित होता है, और धारणा a = b के तहत, यह शून्य से विभाजन है। यहां एआई एक ऑडिटर के रूप में सफल रहा; लेकिन छात्र ने फिर भी इस चरण को अपने हाथ से सत्यापित किया।
केस 3 - झूठे सबूत देना। एक इंजीनियरिंग छात्र के पास AI एक असमानता साबित करता है। पाठ धाराप्रवाह और ठोस था, लेकिन एक चरण में वर्गमूल लेते समय, इसने सकारात्मक और नकारात्मक दोनों जड़ों की संभावना को नजरअंदाज कर दिया और केवल सकारात्मक लिया। छात्र को यह अंतर तब पता चला जब उसने हर कदम पर सवाल उठाया। जब एक अतिरिक्त शर्त (चरों की सकारात्मकता) जोड़ी गई तो प्रमाण मान्य हो गया।
चार प्रतिलिपि योग्य टेम्पलेट
1) प्रमाण प्रारूप का अनुरोध (विचार):
निम्नलिखित दावे को साबित करने के लिए कौन सी विधि उपयुक्त होगी (प्रत्यक्ष, विरोधाभास, आगमनात्मक, गर्भनिरोधक)? केवल मुख्य विचार और प्रमाण का ढांचा दें, पूर्ण प्रमाण न लिखें। दावा: [यहाँ]
2) चरण दर चरण, तर्कपूर्ण प्रमाण:
निम्नलिखित दावे को [विधि] से सिद्ध करें: [दावा]। लिखिए कि प्रत्येक चरण के लिए आप किस सिद्धांत/प्रमेय/परिभाषा पर भरोसा करते हैं। "स्पष्ट रूप से" या "आसानी से" जैसे अभिव्यक्तियों का उपयोग न करें; प्रत्येक परिवर्तन को पूरी तरह से उचित ठहराएँ। यदि इंडक्शन है, तो बेस केस और इंडक्शन चरण को अलग-अलग दिखाएं।
3) सबूत बचाव का रास्ता खोजना:
नीचे प्रमाण देखें. बस तार्किक अंतराल, अंतर्निहित धारणाओं और अनुचित छलाँगों की तलाश करें। जांचें कि क्या प्रत्येक "इसलिए" वास्तव में पिछले चरणों का अनुसरण करता है। प्रत्येक अंतराल को लिखें जो आपको मिलता है कि यह किस चरण में है। प्रमाण: [यहाँ]
4) प्रतिउदाहरण खोजें:
मैं परीक्षण करना चाहता हूं कि निम्नलिखित दावा सत्य है या नहीं: [दावा]। पहले साधारण विशेष मामलों में इसका परीक्षण करें; एक COUNTEREXAMPLE खोजने का प्रयास करें। यदि आपको कोई प्रति-उदाहरण मिले, तो उसे दिखाएँ; यदि आप इसे नहीं पा सकते हैं, तो उन स्थितियों को सूचीबद्ध करें जिन्हें आपने आजमाया था (लेकिन यह सबूत नहीं है, बस सबूत की तलाश है)।
कमजोर संकेत/मजबूत संकेत
कमज़ोर: "साबित करें कि √2 अपरिमेय है।"
परिणाम: मानक प्रमाण आता है, लेकिन एक कदम (उदाहरण के लिए "तब पी सम है") बिना किसी औचित्य के छोड़ दिया गया होगा और आप ध्यान नहीं देंगे।
मजबूत: "विरोधाभास द्वारा साबित करें कि √2 तर्कहीन है। लिखें कि आपने प्रत्येक चरण में किस धारणा का उपयोग किया था; मध्यवर्ती दावों को भी उचित ठहराएं जैसे कि 'यदि पी² सम है, तो पी सम है'। अंत में, स्पष्ट रूप से दिखाएं कि वास्तव में विरोधाभास कहां उत्पन्न होता है।"
परिणाम: प्रत्येक मध्यवर्ती दावा उचित है, विरोधाभास का स्रोत स्पष्ट है, कोई अंतराल नहीं छोड़ा गया है।
सामान्य गलतियां
- वैधता के साथ प्रवाह को भ्रमित करना। एक प्रेरक पाठ एक वैध प्रमाण नहीं है; हर कदम पर निगरानी रखनी होगी.
- प्रेरण में जमीनी स्थिति को छोड़ना। एआई अक्सर बेस केस भूल जाता है; केवल प्रेरण चरण ही पर्याप्त नहीं है।
- बिना किसी प्रश्न के "सामान्यता खोए बिना" स्वीकार करना। यह कथन एक गुप्त त्रुटि हो सकता है; हर बार इसे सही ठहराएं.
- अंतर्निहित धारणाओं को नहीं देखना. सकारात्मकता, निरंतरता, शून्येतर इत्यादि जैसी धारणाएँ चुपचाप प्रमाण में लीक हो सकती हैं।
- प्रति-उदाहरण आज़माए बिना प्रमाण पर भरोसा करना। अगर दावा झूठा है तो सबूत भी झूठा है; पहले साधारण मामलों में दावे की सच्चाई परखें.
सावधानी: एआई उस दावे के लिए भी "प्रमाण" पेश कर सकता है जो वास्तव में गलत है - क्योंकि यह पाठ उत्पन्न करता है, यह तार्किक वैधता की गारंटी नहीं देता है। यदि आप किसी दावे की सटीकता के बारे में अनिश्चित हैं, तो पहले एक प्रति-उदाहरण देखें। झूठे दावे के "प्रमाण" में आवश्यक रूप से एक बचाव का रास्ता होता है; आपका काम उस अंतर को ढूंढना है।
सारांश
प्रमाण गणित का सबसे कठोर उत्पाद है, और एआई ठोस लेकिन अमान्य "प्रमाण" उत्पन्न कर सकता है। प्रमाण विचार और विधि खोजने के लिए एआई का उपयोग करें; प्रत्येक तार्किक कदम की वैधता स्वयं जांचें। "स्पष्ट रूप से" और "बिना किसी पूर्वाग्रह के" जैसे वाक्यांशों के पीछे प्रमुख मामलों, अंतर्निहित धारणाओं और खामियों को देखें। यदि आप किसी दावे की सच्चाई के बारे में अनिश्चित हैं, तो सबूत पर भरोसा करने से पहले एक प्रति-उदाहरण का प्रयास करें। प्रवाह वैधता नहीं है.
आवेदन कार्य
एक मानक प्रमेय चुनें (उदाहरण के लिए "दो सम संख्याओं का योग सम है" या "√2 अपरिमेय है")। एआई को दूसरे टेम्पलेट के साथ इसे चरण दर चरण सिद्ध करने को कहें। फिर गैप हंट के लिए तीसरे टेम्पलेट के समान प्रमाण फिर से दें - उसे अपना प्रमाण स्वयं जांचने दें। फिर प्रत्येक "इसलिए" को मैन्युअल रूप से क्वेरी करें: क्या कोई आधार मामला है, क्या कोई अंतर्निहित धारणा है, क्या प्रत्येक संक्रमण उचित है? कम से कम एक संभावित अंतराल या सुधार बिंदु ढूंढें और नोट करें।
चेकलिस्ट
- [ ] मैंने दावे और धारणाओं को स्पष्ट किया।
- [ ] मुझे प्रमाण विधि और इसकी संरचनात्मक आवश्यकताओं के बारे में पता चला।
- [ ] मैंने सत्यापित किया कि प्रत्येक "इसलिए" पिछले चरणों का अनुसरण करता है।
- [ ] मैंने एक आधार मामला/अंतर्निहित धारणा की जांच की।
- [ ] मैंने साधारण मामलों में दावे का परीक्षण किया और प्रतिउदाहरणों की तलाश की।
- [ ] मैंने ज्ञात प्रमेयों के लिए मानक प्रमाण की तुलना विश्वसनीय स्रोत से की।