Qazanclar:
- Hər birinin risk səviyyəsinə uyğun olaraq strategiya məsləhətçisi, həll istehsalçısı və həll auditoru kimi üç fərqli rolda problemin həllində süni intellektdən istifadə etmək bacarığı.
- Nömrələmə, qayda sorğusu, arifmetik yoxlama, yoxlama məbləğləri və bütün halların siyahısı ilə həllin hər bir addımını sistematik şəkildə yoxlamaq bacarığı.
- Həm nəticəni, həm də həlli müstəqil üsullarla yoxlaya bilmək, düzgün nəticənin düzgün yol demək olmadığını başa düşmək.
Riyazi məsələnin həlli bir-biri ilə əlaqəli addımlar zənciridir; Zəncirdəki hər hansı bir əlaqə pozulursa, nəticə etibarsızdır. Süni intellekt bu zənciri tez qurmağı çox yaxşı bacarır – lakin zəncirin gücünə nəzarət etmək insanlardan asılıdır. Bu bölmədə siz süni intellektdən problem həll edən tərəfdaş kimi necə istifadə edəcəyinizi və daha da əhəmiyyətlisi istehsal olunan hər bir addımı sistematik şəkildə idarə etməyi öyrənəcəksiniz. Məqsəd heç bir səhvi qaçırmadan süni intellektin sürətindən yararlanmaqdır.
Birincisi, tərif: Addım-addım yoxlama həllin hər bir aralıq addımının bir-bir düzgün olub olmadığını yoxlamaqdır. Riyaziyyatda "Nəticə düzgündürmü?" Sual kifayət deyil; "Hər aralıq addım düzgündürmü?" Sual vacibdir. Çünki bəzən səhv addımlar təsadüfən düzgün nəticəyə gətirib çıxarır (qeyri-sabit həll), bəzən düzgün strategiyada bircə arifmetik səhv nəticəni korlayır.
Problemin həllində AI-nin üç fərqli rolu
Problemin həllində AI-dan üç fərqli şəkildə istifadə edə bilərsiniz və hər biri fərqli yoxlama tələb edir:
- Strategiya məsləhətçisi: "Mən bu problemi necə həll edə bilərəm?" Burada AI bir üsul təklif edir. Risk azdır, çünki hesablamaları özünüz edirsiniz.
- Həll generatoru: "Bu problemi həll edin." Risk yüksəkdir, çünki həm strategiya, həm də hesablama AI-dən gəlir; Hər addıma nəzarət edilməlidir.
- Həll yoxlayıcısı: "Mənim həllimi yoxlayın." Orta risklidir; Süni intellekt səhvləri tapa bilər, lakin o, mövcud olmayan və ya real səhvi əldən buraxan səhvləri də yarada bilər.
Ən təhlükəsiz yanaşma adətən 1 və 3-ü birləşdirməkdir: AI-dən strategiya alın, özünüz və ya SymPy ilə hesablama aparın, sonra AI yoxlayın və çarpaz yoxlayın.
Addım-addım: həlli necə yoxlamaq olar
1. Hər addımı nömrələyin. Nömrələnmiş addımlarla süni intellektdən həllini istəmək sizə “3-cü addımda xəta var” deməyə imkan verir.
2. Hər addımda "hansı qayda?" cənab. Süni intellekt hər keçiddə hansı cəbri qayda, teorem və ya eyniliyin istifadə olunduğunu yazsın. Qaydanın adı səhvdirsə, addım da sual altındadır.
3. Hesabı ayrıca yoxlayın. Cəbri məntiq düzgün olsa belə, say xətaları çox olur. Hər bir əlavə, vurma və işarə dəyişikliyini nəzərdən keçirin.
4. Sərhədləri və istisnaları sınayın. Nəticəni x=0, x=1 kimi sadə dəyərlərlə yoxlayın. Bu dəyərlərdə düstur mənasızdırsa, xəta var.
5. Geriyə geri qayıdın. Törəmənin nəticəsini inteqral etməklə, tənliyin kökünü əvəz etməklə, faktorlara ayırmanı geriyə vurmaqla yoxlayın.
6. Ölçü/vahid tutarlılığına baxın. Tətbiq olunan məsələlərdə vahidlər toplanmazsa (məsələn, sayğacların və saniyələrin əlavə edilməsi), düstur yanlışdır.
İpucu: “Tərs əməliyyatla yoxlama” riyaziyyatda ən güclü yoxlama vasitəsidir və demək olar ki, pulsuzdur. Əgər tənliyin kökünü tapsanız, onu əvəz edin; Əgər inteqral götürsəniz, onun törəməsini götürün; Əgər faktorizasiya etmisinizsə, geriyə çarpın. Bu 30 saniyəlik yoxlama saatlarla yanlış istiqamətin qarşısını alır.
Təminatın gücü onun AI-dən müstəqilliyindən irəli gəlir. Kökü əvəz edərkən, AI-nin həll prosesində nə etdiyindən tamamilə asılı olmayan bir deterministik yoxlama aparırsınız: ya tənlik təmin edilir, ya da deyil, aralarında heç bir şey yoxdur. Buna görə də yoxlama süni intellektdən “əmin, doğru” deməkdən daha dəyərlidir; çünki AI öz həllini təsdiqləyərkən eyni səhvi təkrarlaya bilər, lakin müstəqil yoxlama bu dövrə xaricindədir. İki fərqli müstəqil şəkildə (məsələn, həm əvəzetmə, həm də SymPy) kritik bir nəticə verə bildiyiniz zaman inamınız eksponent olaraq artır.
Səhvlərin təsnifatı
Aşağıdakı cədvəl süni intellekt həllərində ən çox rastlaşdığınız xəta növlərini və hər birini tutmağın yollarını ümumiləşdirir.
Səhv növü
misal
tutma yolu
işarə xətası
−(a−b) = −a−b yazmaq
Adımın əl ilə açılması və yoxlanılması
arifmetik xəta
7×8 = 54
Kalkulyator/SymPy ilə təsdiq
səhv qayda
zəncir qaydasını unut
"Hansı qayda?" soruşmaq
Sahə/tərif xətası
log almaq (mənfi)
Domen yoxlanılır
Atlanmış status
Diskriminantın nəzərə alınmaması < 0
Bütün statusları sadalayın
Uydurulmuş teorem
mövcud olmayan teorem adı
Mənbədən təsdiq
üç mini qutu
Məsələn 1 - Düzgün nəticə, yanlış yol. Tələbə AI-yə limit sualı verdi. Süni intellekt nəticəni 3 hesab etdi - bu düzgün idi - lakin aralıq mərhələdə L'Hôpital qaydasından istifadə etdi (0/0 qeyri-müəyyənlik olmadan). Tələbə “hansı qayda tətbiq olunur və niyə?” deyə soruşur. Soruşanda AI səhvi qəbul etdi və düzgün şəkildə yenidən 3-ə çatdı. Nəticə eyni idi, amma yol möhkəm deyildi; Səyahət də imtahanda hesablanıb.
2-ci hal – buraxılmış hal. Mühəndis, |2x − 4| = 6 mütləq qiymət tənliyi YZ ilə həll edilmişdir. YZ yalnız 2x − 4 = 6 həll etdi və x = 5 verdi; O, 2x − 4 = −6 vəziyyətini (x = −1) atladı. Mühəndis "mütləq dəyərdə neçə dövlət var?" Soruşanda ikinci kök çıxdı. Hər iki kökün düzgünlüyü əvəz etməklə təsdiqləndi.
3-cü vəziyyət - Çarpaz yoxlama 3 səhv tapdı. Müəllim süni intellektə 10 addımlıq triqonometrik şəxsiyyət sübutu etməli idi. Sonra o, eyni sübutu addım-addım SymPy-nin sadələşdirmə funksiyası ilə müqayisə etdi. O, AI-nin şəxsiyyəti 10 addımdan 3-də səhv tətbiq etdiyini tapdı. Ümumi yoxlama müddəti 12 dəqiqə; Qazanılan etimad əvəzsizdir.
Dörd kopyalana bilən şablon
1) Nömrələnmiş, qaydaya əsaslanan həll:
Bu problemi həll edin: [problem]. Həllini NUMBERED addımda yazın. Hər addımda mötərizədə istifadə etdiyiniz qayda/teorem adını qeyd edin. “Aydındır” deyərək heç bir addımı atlamayın; hər keçidi göstərin.
2) Bütün dövlətləri məcbur etməyin:
Bu problemi həll edin: [problem]. Həll edərkən BÜTÜN MÜMKÜN halları sadalayın (məsələn, mütləq dəyər, kvadratik, domen məhdudiyyətləri). Heç bir işi qaçırmayın; Əgər onu ötürsəniz, niyə atladığınızı əsaslandırın.
3) Təminat tələb edən:
Tapdınız: [nəticə]. İndi bu nəticəni tərs əməliyyatla DEYİL:[fərqləndirmək / əvəz etmək / geriyə vurmaq]. Yoxlama məbləğinin nəticəsini göstərin və onun ilkin problemə uyğun olub olmadığını söyləyin.
4) Səhv yönümlü nəzarət:
YALNIZCA aşağıdakı həlldə səhvləri axtarın. Hər addımı ardıcıllıqla yoxlayın; ilk xətanı tapdığınız zaman hansı addımı, hansı növ xətanı (işarə/arifmetik/qayda) və düzgün olanı yazın. Yeni həllin yaradılması. Həll: [burada]
Zəif məlumat / Güclü göstəriş
Zəif: "X² − 5x + 6 = 0-ı həll edin."
Nəticə: "x = 2 və x = 3" — doğru ola bilər, lakin tək halın buraxıldığını və ya faktorizasiyanın səhv olduğunu görməyəcəksiniz.
Güclü: "X² − 5x + 6 = 0 tənliyini həm faktorinq, həm də diskriminant düsturu ilə həll edin; iki üsulun eyni kök verdiyini göstərin. Sonra hər bir kökü tənlikdə əvəz edərək təmin edin."
Nəticə: İki müstəqil üsul bir-birini yoxlayır, nəticənin dəqiq olmasını təmin edir. Səhv olarsa, iki üsul bir-birinə zidd olacaq və siz onu dərhal görəcəksiniz.
Ümumi səhvlər
- Sadəcə nəticəyə baxmaq. Düzgün nəticə möhkəm yol demək deyil. Yolu da yoxlayın.
- Təminatın atlanması. 30 saniyəlik əvəzetmə/geri törəmə yoxlaması əksər səhvləri aşkar edir; Bunu laqeyd yanaşmayın.
- Vəziyyətləri qeyd etmə. Mütləq dəyər, kvadrat, kök və domen məhdudiyyətlərində buraxılmış səhvlər ən çox yayılmış səhvlərdir.
- Süni intellektə güvənərək "səhv yoxdur" deyəcək. Auditor rolunda AI əsl səhvi qaçıra bilər; İnsan gözü kritik işdə vacibdir.
- Bir üsulla kifayətlənmək. Mümkünsə, iki müstəqil metoddan istifadə edərək həll edin və müqayisə edin.
Diqqət: Süni intellekt həllinizi yoxladıqda, o, bəzən mövcud olmayan bir "səhv" yarada bilər və sizi düzgün həllinizdən çəkindirə bilər. Beləliklə, AI səhv göstərdikdə, siz də bu səhvin həqiqətən səhv olub olmadığını yoxlayırsınız. Auditor da səhv edə bilər.
Xülasə
Problemin həllində AI üç rol oynayır: strategiya məsləhətçisi, həll generatoru, həll auditoru. Ən təhlükəsiz yanaşma AI-dan strategiya götürmək, müstəqil alətlərlə hesablamalar aparmaq və hər bir addımı sistematik şəkildə yoxlamaqdır. Nömrələnmiş addımlar, "hansı qayda?" sual, yoxlama məbləği (əks əməliyyat), limit halları və bütün halların siyahısı səhvləri tutmaq üçün əsas vasitədir. Düzgün nəticə möhkəm yol demək deyil; Həm nəticəni, həm də yolu yoxlayın.
Tətbiq tapşırığı
Kvadrat tənlik və ya mütləq dəyər tənliyini seçin. YZ-ni 1 və 2 şablonları ilə həll edin. Sonra: (a) bütün halların əhatə olunduğunu yoxlayın, (b) hər bir kökü əvəz etməklə əmin olun, (c) mümkünsə ikinci üsulla həll edin və yenidən müqayisə edin. Səhv taparsanız, onun hansı növ olduğunu qeyd edin (işarə/hesab/qayda/atlanmış şərt).
yoxlama siyahısı
- [ ] Mən nömrələnmiş addımlarla həll etdim.
- [ ] Mən hər addımda istifadə olunan qaydanı təsdiqlədim.
- [ ] Mən bütün gözlənilməz halların aradan qaldırıldığını təsdiqlədim.
- [ ] Nəticəni tərs əməliyyatla yoxladım (yoxlama).
- [ ] Mümkünsə, ikinci üsulla müqayisə etdim.
- [ ] Mən də AI-nin göstərdiyi "səhvləri" müstəqil olaraq yoxladım.