इकाई 9 / 11

मतिभ्रम, सामान्य गणितीय त्रुटियाँ, और सत्यापन का अनुशासन

लाभ:

  • यह पहचानने में सक्षम हो कि कृत्रिम बुद्धिमत्ता गणित में गलतियाँ क्यों करती है (एक भाषा मॉडल होने के नाते, तर्क की जाँच नहीं करना) और सात मुख्य प्रकार की त्रुटियाँ
  • यह समझाने की क्षमता कि प्रत्येक चरण को यह समझकर सत्यापित करना क्यों आवश्यक है कि त्रुटि प्रसारित होती है और गणित में सटीकता द्विआधारी है।
  • सामान्य ज्ञान परीक्षण, परिमाण जांच के क्रम, चेकसम, क्रॉस-चेकिंग और स्वतंत्र तरीकों के माध्यम से बहुस्तरीय सत्यापन अनुशासन लागू करने की क्षमता

यह इकाई मॉड्यूल के मूल में विचार को गहरा करती है: एआई गणित में गलतियाँ क्यों और कैसे करता है, इन गलतियों के प्रकार क्या हैं और हम उन्हें व्यवस्थित रूप से कैसे पकड़ते हैं? पिछली इकाइयों में, हमने प्रत्येक विषय के लिए सत्यापन विधियाँ देखी हैं; यहां हम त्रुटियों की संरचना को एक छत के नीचे एकत्रित करते हैं। मुद्दा यह है कि, जब आप एआई आउटपुट को देखते हैं तो आपको आश्चर्य होता है कि "यहां क्या गलती हो सकती है?" यह एक मान्यताप्राप्त मानसिकता हासिल करना है जो सजगता से सोचती है।

अनुस्मारक: मतिभ्रम तब होता है जब कोई एआई आत्मविश्वास से ऐसी जानकारी उत्पन्न करता है जो वास्तव में सच नहीं है। गणित में, मतिभ्रम अक्सर "प्रेरक लेकिन गलत" के रूप में प्रकट होता है। AI गलतियाँ क्यों करता है? क्योंकि यह एक भाषा मॉडल है, तर्क इंजन नहीं - यानी, यह सांख्यिकीय पैटर्न के साथ पाठ तैयार करता है, यह चरणों की तार्किक वैधता की जांच नहीं करता है। उसके लिए एक "3-अंकीय गुणन" और एक "वैध प्रमाण" एक ही प्रकार का पाठ तैयार करने का कार्य है; इसमें सटीकता की गारंटी देने के लिए कोई आंतरिक तंत्र नहीं है।

गणितीय त्रुटियों की शारीरिक रचना: सात प्रकार

प्रकारों की निम्नलिखित सूची एआई आउटपुट में आपके सामने आने वाली सबसे आम त्रुटियों और प्रत्येक के लिए मारक का सारांश प्रस्तुत करती है।

त्रुटि प्रकार

यह कैसा दिखता है

मारक

अंकगणितीय त्रुटि

संख्या त्रुटि जैसे 7×8=54

कैलकुलेटर/सिम्पी

हस्ताक्षर त्रुटि

−(a−b)=−a−b

मेरा नाम मैन्युअल रूप से खोलें

बना-बनाया प्रमेय

अस्तित्वहीन प्रमेय नाम

स्रोत से पुष्टि

नियम का गलत प्रयोग

चेन नियम को मत भूलना

"कौन सा नियम?" प्रश्न

छोड़ी गई स्थिति

नकारात्मक जड़ पर ध्यान न दें

सभी स्थितियाँ सूचीबद्ध करें

सबूत का अंतर

बिना किसी औचित्य के "इसलिए"।

हर पास पर सवाल उठाना

पुराना/गलत डेटा

पुरानी जानकारी

सोर्सिंग

गणित पर विशेष ध्यान देने की आवश्यकता क्यों है?

अधिकांश क्षेत्रों में, एक छोटी सी गलती का एक छोटा सा परिणाम होता है। गणित में त्रुटियां फैलती और बढ़ती रहती हैं। किसी समीकरण की पहली पंक्ति में एक संकेत त्रुटि अगली दस पंक्तियों और अंतिम परिणाम को पूरी तरह से गलत बना देती है। किसी प्रूफ़ के बीच में खाली जगह पूरे प्रूफ़ को अमान्य कर देती है। यह "नाज़ुकता" गणित में प्रत्येक चरण को सत्यापित करना आवश्यक बनाती है - "आम तौर पर बोलना सत्य लगता है" पर्याप्त नहीं है।

इसके अलावा, गणित में सत्य द्विआधारी है: परिणाम या तो सत्य है या गलत, बीच में कोई नहीं है। पाठ सारांश में "अस्सी प्रतिशत सटीक" को स्वीकार्य माना जा सकता है; अभिन्न अंग में "अस्सी प्रतिशत सही" जैसी कोई चीज़ नहीं है - या तो यह सही परिणाम है या यह नहीं है। यह दोहरी प्रकृति सत्यापन को अधिक महत्वपूर्ण और (सौभाग्य से) अधिक संभव बनाती है: परिणाम या तो सत्यापन पास करता है या नहीं।

चरण दर चरण: व्यवस्थित सत्यापन का अनुशासन

1. प्रत्येक संख्यात्मक परिणाम की एक उपकरण से पुष्टि करें। एआई पर निर्भर रहने के लिए अंकगणित को कभी न छोड़ें; सिम्पी, कैलकुलेटर या हाथ से।

2. प्रत्येक प्रतीकात्मक परिणाम को SymPy से जाँचें। समाकलन, व्युत्पन्न, सरलीकरण, समीकरण—सभी को SymPy से सत्यापित किया जा सकता है।

3. स्रोत से प्रत्येक प्रमेय/सूत्र की पुष्टि करें। क्या नाम और अभिव्यक्ति सही हैं? मनगढ़ंत प्रमेय सबसे घातक जाल हैं।

4. प्रत्येक प्रमाण में प्रत्येक घटना पर प्रश्नचिह्न लगाएं। "क्या यह वास्तव में पिछले चरण का अनुसरण करता है?" आधार मामला, अंतर्निहित धारणा, अंतर जांच।

5. जाँच करें और प्रति-जाँच करें। व्युत्क्रम संक्रिया, प्रतिस्थापन, सीमा अवस्थाएँ, आयामी विश्लेषण।

6. इसे सामान्य ज्ञान परीक्षण में रखें। क्या परिणाम उचित है? यदि संभावना 1 से अधिक है, तो लंबाई नकारात्मक होने पर एक त्रुटि होती है।

संकेत: सबसे तेज़ सामान्य ज्ञान परीक्षण "परिमाण के क्रम" की जाँच है। क्या परिणाम मोटे तौर पर अपेक्षित सीमा के भीतर है? यदि किसी कक्षा का औसत 250 (100 में से) है, या संभावना 3.5 है, तो विवरण देखे बिना आपको पता चल जाएगा कि कोई त्रुटि है। यह 5-सेकंड की जांच शुरुआत में ही कई हास्यास्पद परिणामों को समाप्त कर देती है।

तीन मिनी मामले

केस 1 - चेन साइन त्रुटि। एक छात्र ने पाया कि 8-पंक्ति बीजगणितीय सरलीकरण में, पंक्ति 2 में एआई द्वारा की गई एक संकेत त्रुटि अगली 6 पंक्तियों में फैल गई। अंतिम परिणाम पूरी तरह से गलत था, लेकिन एआई ने इसे पूरे आत्मविश्वास के साथ प्रस्तुत किया। जब छात्र ने SymPy के साथ इसे बिल्कुल सरल बनाया, तो सही परिणाम प्राप्त हुआ और AI को दूसरी पंक्ति में त्रुटि खोजने की अनुमति दी गई। एक ही संकेत ने 6 पंक्तियों का खंडन कर दिया.

केस 2 - सामान्य ज्ञान ने परीक्षा बचा ली। एक शिक्षक के पास AI से संभाव्यता समस्या का समाधान था; नतीजा 1.4 रहा. विवरण देखे बिना, शिक्षक ने कहा "संभावना 1 से अधिक नहीं हो सकती" और त्रुटि की तलाश की: एआई ने गैर-अलग-अलग घटनाओं को एकत्र किया था जैसे कि वे अलग-अलग हों। एक सामान्य ज्ञान परीक्षण ने कुछ ही सेकंड में त्रुटि बता दी।

केस 3 - बना-बनाया फार्मूला। एक इंजीनियर ने एआई से एक श्रृंखला राशि के लिए "बंद सूत्र" मांगा। एआई ने एक ठोस फॉर्मूला दिया है. इंजीनियर ने n (n=3) के एक छोटे मान के लिए सूत्र का परीक्षण सूत्र और हाथ जोड़ दोनों द्वारा किया; नतीजे मेल नहीं खाते. फार्मूला बना लिया गया. थोड़े से बदलाव से घंटों के दुरुपयोग को रोका गया।

चार प्रतिलिपि योग्य टेम्पलेट

1) बहु-परत सत्यापन अनुरोध:

आपने पाया: [परिणाम]। अब इसे तीन अलग-अलग तरीकों से सत्यापित करें: (1) इसे उल्टा हैश करना, (2) एक साधारण कस्टम मान का परीक्षण करना, (3) सिम्पी के साथ जांच करने के लिए कुछ कोड (मैं आउटपुट देखूंगा)। मुझे बताएं कि क्या तीनों तरीके सुसंगत हैं; यदि नहीं, तो दिखाएँ कि किस चरण में त्रुटि है।

2) सामान्य ज्ञान/रैंक परीक्षण:

आपने पाया: [परिणाम]। यह देखने के लिए इसे सामान्य ज्ञान परीक्षण में रखें कि क्या यह परिणाम उचित है: परिमाण का अपेक्षित क्रम क्या है, क्या संकेत सही है, क्या यह सीमा के भीतर है (जैसे संभावना 0-1)? यदि यह उचित नहीं है, तो जाँच करें कि गलती कहाँ हो सकती है।

3) प्रमेय/सूत्र पुष्टि:

क्या आप जिस [प्रमेय/सूत्र] का उपयोग कर रहे हैं वह वास्तव में मानक और सही है? इसकी मानक अभिव्यक्ति एवं शर्तें लिखिए। एक खाता दिखाएं जो एक छोटे नमूने के साथ इसका परीक्षण करता है (उदाहरण के लिए n=3)। यदि यह कोई मनगढ़ंत फॉर्मूला है या कुछ ऐसा है जिसके बारे में आप निश्चित नहीं हैं, तो इसे स्पष्ट रूप से कहें।

4) त्रुटि मोड निदान:

मैं जानता हूं कि नीचे दिए गए समाधान में एक बग है। इन त्रुटि प्रकारों को एक-एक करके जांचें: अंकगणित, चिह्न, गलत नियम, छोड़ी गई स्थिति, डोमेन। मुझे बताएं कि यह किस प्रकार की त्रुटि है और किस चरण पर है। समाधान: [यहाँ]

कमजोर संकेत/मजबूत संकेत

कमज़ोर: "क्या यह निष्कर्ष सही है?" [परिणाम चिपकाएँ]
परिणाम: एआई अक्सर कहता है "हाँ ठीक है" (अपने स्वयं के आउटपुट की पुष्टि करने की प्रवृत्ति); अविश्वसनीय क्योंकि कोई स्वतंत्र ऑडिट नहीं है।
मजबूत: "इस परिणाम को स्वतंत्र तरीके से जांचें: एक अलग वर्कअराउंड का उपयोग करें या सिम्पी कोड से जांच करें (मैं कोड चलाऊंगा)। केवल 'सही/गलत' न कहें; दिखाएं कि आपने कौन सा चेक किया और परिणाम। यदि चेकसम विफल हो जाता है, तो त्रुटि ढूंढें।"
परिणाम: एक स्वतंत्र नियंत्रण पद्धति को चुनौती दी गई है; एआई को अपने ही आउटपुट को आंख मूंदकर मंजूरी देने से रोका जाता है।

सामान्य गलतियाँ

  • एआई को अपने स्वयं के आउटपुट को मान्य करने के लिए प्राप्त करना। "क्या यह सच है?" एआई अक्सर अपनी गलती की पुष्टि करता है; स्वतंत्र विधि की आवश्यकता है.
  • सामान्य ज्ञान परीक्षण छोड़ना. संभाव्यता 1 से अधिक होना और लंबाई नकारात्मक होना जैसी बकवास को विवरण देखे बिना पकड़ा जा सकता है।
  • एकल सत्यापन पर भरोसा करना। महत्वपूर्ण परिणामों पर एकाधिक स्वतंत्र पथ (हैश + सिम्पी + कस्टम मान) का उपयोग करें।
  • छोटे नमूनों से फ़ॉर्मूले का परीक्षण नहीं करना. बने-बनाए सूत्र n=2, n=3 जैसे छोटे मानों पर तुरंत ध्वस्त हो जाते हैं।
  • यह भूल जाना कि बग प्रचारित है। पहली पंक्ति में एक त्रुटि पूरे परिणाम को दूषित कर देती है; यदि आपको कोई त्रुटि मिलती है, तो उसे शुरू से जांचें।
सावधानी: एआई के आत्मविश्वास और इसकी सटीकता के बीच कोई संबंध नहीं है। जो वाक्य सबसे दृढ़, सबसे धाराप्रवाह, सबसे "सुनिश्चित" लगता है वह पूरी तरह से गलत हो सकता है। स्वतंत्र सत्यापन पर भरोसा करें, स्वर पर नहीं। किसी परिणाम को केवल तभी "सही" मानें जब आप इसकी पुष्टि हाथ से या किसी नियतात्मक उपकरण से करते हैं - इसलिए नहीं कि एआई "सुनिश्चित" कहता है।

संक्षेप में

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

आवेदन कार्य

मध्यम लंबाई (कम से कम 6-8 चरणों) के समाधान वाली एक समस्या चुनें और एआई से इसे हल कराएं। फिर इस इकाई से पैटर्न 1 और 4 का उपयोग करके बहु-परत सत्यापन करें: (ए) सामान्य ज्ञान/रैंक परीक्षण, (बी) सिम्पी के साथ जांच, (सी) एक विशेष मूल्य पर परीक्षण। फिर जानबूझकर "बग हंट" नजर से समाधान की पंक्ति दर पंक्ति जांचें और जांचें कि सात प्रकार की त्रुटियों में से कौन सी त्रुटियां हो सकती हैं। आपको मिलने वाली प्रत्येक त्रुटि को उसके प्रकार सहित रिकॉर्ड करें।

चेकलिस्ट

  • [ ] मैंने प्रत्येक संख्यात्मक परिणाम की एक नियतिवादी उपकरण से पुष्टि की।
  • [ ] मैंने प्रत्येक प्रतीकात्मक परिणाम को SymPy से जांचा।
  • [ ] मैंने स्रोत से या छोटे उदाहरण के साथ प्रयुक्त प्रमेय/सूत्र को सत्यापित किया।
  • [ ] मैंने सामान्य ज्ञान/परिमाण के क्रम का परीक्षण लागू किया।
  • [ ] मैंने स्वतंत्र तरीके से (एआई की स्वयं की मंजूरी पर भरोसा किए बिना) इसका ऑडिट किया।
  • [ ] जब मुझे कोई त्रुटि मिली, तो मैंने शुरू से ही समाधान की दोबारा जाँच की।