Qazanclar:
- Risk səviyyəsinə uyğun olaraq süni intellektin riyazi tapşırıqlarda (strategiya, qaralama, redaktə) vaxta qənaət etdiyini və yoxlamanın tələb olunduğu yerlərdə (dəqiq hesablama, sübutun etibarlılığı) ayırmaq bacarığı
- Riyaziyyatda hallüsinasiyanın necə yarandığını (uydurma teorem, səhv addım, mövcud olmayan düstur) tanımaq və dil modelinin niyə kalkulyator olmadığını başa düşmək
- Hər bir çıxışı addım-addım həll, deterministik alət yoxlaması və əks yoxlama intizamı ilə yoxlayan iş axını həyata keçirmək bacarığı.
Riyaziyyat bir yanlış işarənin bütün nəticəni təkzib etdiyi bir sahədir. İnteqralda mənfi işarəni unutmaq, sübutda "açıq-aydın" bir addımı atlamaq və ya düsturda səhv eksponentdən istifadə etmək - hamısı nəticəni tamamilə etibarsız edir. Buna görə də riyaziyyatda süni intellektin (AI) istifadəsi bir çox digər sahələrə nisbətən daha diqqətli nizam-intizam tələb edir. Bu bölmədə biz böyük dil modeli adlandırdığımız vasitələrin (LLM - Large Language Model; statistik olaraq proqnozlaşdıraraq mətn istehsal edən bir süni intellekt növü) riyazi tapşırıqlarda əslində hansı vaxta qənaət etdiyini və harada təhlükəli ola biləcəyini araşdıracağıq; və hər bir çıxışı addım-addım yoxlamağı öyrənəcəksiniz.
Birincisi, aydın bir konsepsiya: Halüsinasiya süni intellektin əslində həqiqətə uyğun olmayan məlumatları tam əminliklə, sanki doğruymuş kimi istehsal etməsidir. Riyaziyyatda bu, uydurulmuş teorem, səhv cəbri addım və ya mövcud olmayan bir düsturun adı şəklində gəlir. Kritik məqam budur: LLM kalkulyator deyil. Bu, "növbəti ən çox ehtimal olunan sözü" proqnozlaşdıran mətn generatorudur. O, çox vaxt düzgün riyaziyyat yaradır, çünki o, təlim məlumatlarında çoxlu düzgün riyaziyyat görmüşdür; lakin "çox vaxt doğru" ilə "hər zaman doğru" arasındakı fərq riyaziyyatda hər şeydir.
Süni intellekt riyaziyyatda harada işləyir, harada işləmir?
AI-ni ağıllı plan və ideya tərəfdaşı kimi düşünün: sürətli, lakin yoxlanılmalıdır. Aşağıdakı fərq bu modulun əsasını təşkil edir.
Quest
AI-nin töhfəsi
insan məsuliyyəti
Problemi həll etmək üçün bir yol tapmaq
Müxtəlif həll strategiyaları tövsiyə edir
Doğru strategiyanın seçilməsi və həyata keçirilməsi
Cəbri/simvolik hesablama
Eskizlər yaradır, tənlikləri tez həll edir
Hər bir addımı SymPy ilə və ya əl ilə təsdiqləyin
sübut layihəsi
Çərçivə və ideyalar təqdim edir
Hər bir məntiqi keçidin yoxlanılması
ədədi hesablama
Python kodunu yazır
Kodu işə salın və nəticəni təsdiqləyin
vizuallaşdırma
Qrafik kod yaradır
Qrafiki görmək riyaziyyatı əks etdirir
Dərs/sual yaratmaq
Eskiz, nümunə, distractor yaradır
Dəqiqliyi və pedaqoji uyğunluğu təsdiq edin
Bir qayda olaraq: hesabın özünü deyil, hesaba gedən yolu tapmaq və redaktə etmək üçün AI-dan istifadə edin; Nəticəni həmişə deterministik alətlə yoxlayın (SymPy, kalkulyator, əllə yoxlama). “Deterministik” burada “eyni girişə həmişə eyni və dəqiq olaraq düzgün çıxışı verir” deməkdir; SymPy kimi simvolik hesablama kitabxanaları belədir, LLM belə deyil.
Addım-addım: riyaziyyatda təhlükəsiz AI iş axını
1. Problemi aydın şəkildə müəyyənləşdirin. Birmənalı olmayan sual birmənalı cavab gətirir. “Bu inteqralı qiymətləndirin” əvəzinə “qeyri-müəyyən inteqral ∫ x·e^x dx-i mərhələ-mərhələ qismən inteqralla həll edin və hər addımı göstərin” deyin.
2. Addım-addım həll yollarını soruşun. Süni intellektdən yalnız nəticəni deyil, aralıq addımları soruşun. Addımlar səhvi tutmağın yeganə yoludur.
3. Müstəqil alətlə yoxlayın. Simvolik nəticəni SymPy-ə və ədədi nəticəni hesablamaya doğrulayın. Bu modulun mərkəzi prinsipidir.
4. Əks yoxlama. İnteqrasiya edərək törəmənin nəticəsini geri götürün; tənliyin kökünü əvəz edin; ehtimalın 0 ilə 1 arasında olub olmadığını yoxlayın. Riyaziyyat özünü idarə etmək üçün alətlərlə doludur.
5. Şübhəli qalın. AI "bu teorem deyir" dedikdə, teoremin adını və ifadəsini etibarlı mənbədən təsdiqləyin. Uydurma teorem adları ümumidir.
İpucu: Hər bir AI çıxışından "bunu müstəqil olaraq necə yoxlaya bilərəm?" Sualla yanaşma. Riyaziyyatda demək olar ki, hər bir nəticənin yoxlama üsulu var: törəmə-inteqral tərs, radikal əvəzetmə, ölçülü analiz, limit halları. Doğrulama yolunu tapa bilmirsinizsə, nəticəyə etibar etməyin.
üç mini qutu
Məsələn 1 — Uydurulmuş teorem. Müəllim süni intellektdən soruşur: "Mən bu bərabərsizliyi hansı teoremlə sübut edə bilərəm?" – deyə soruşdu. Süni intellekt “Hölmqren-Bernoulli bərabərsizliyi” adlı mövcud olmayan bir teorem təklif etdi və inandırıcı bir ifadə etdi. Müəllim riyaziyyat resursunda adı axtaranda heç bir nəticə çıxmadı. Həqiqi həll klassik Koşi-Şvars bərabərsizliyi idi. İtirilmiş vaxt: 20 dəqiqə; Amma fakt yoxlama vərdişi olmasaydı, mühazirədə yanlış məlumatlar çatdırılardı.
2-ci hal - Siqnal xətası. Mühəndislik tələbəsi AI-dən ∫ (2x - 3) dx nəticəsini istədi. YZ x² − 3x + C (düzgün) verdi, lakin növbəti mərhələdə müəyyən inteqralı [0,2] hesablayarkən −3·2-ni +6 ilə əvəz etdi və 10 əvəzinə −2 aldı.Şagird törəmələr götürərək nəticəni yoxladı; O, səhvini 2 dəqiqəyə tutdu.
Case 3 - Təsdiq əldə edildi. Orta məktəb müəllimi süni intellektdən 15 suallıq imtahan üçün kvadrat tənlik sualları yaratmağı xahiş etdi. 15 sualdan 2-də diskriminant mənfi olsa da, AI "əsl kök" verdi. Müəllim bütün sualları həll etdi və SymPy ilə müqayisə etdi; O, 5 dəqiqə ərzində 2 səhv aşkar edib düzəldib. Doğrulama olmadan tələbələr səhv cavab açarı ilə qiymətləndiriləcəklər.
Dörd kopyalana bilən şablon
1) Addım-addım və yoxlanıla bilən həll:
Rolunuz: riyaziyyat köməkçisi. Aşağıdakı problemi ADDIM-ADDIM həll edin:[problem]. Hər addımda hansı qayda/teoremdən istifadə etdiyinizi yazın. Sonda mənə bir cümlə ilə nəticəni müstəqil olaraq necə yoxlaya biləcəyimi söyləyin (məsələn, törəmə/inteqral tərs, kök əvəzi). Əmin olmadığınız bir addım varsa, onu "bu addım yoxlanılmalıdır" kimi qeyd edin.
2) Teorem/konsepsiya təsdiqi:
Mənə [teorem/konsepsiya] haqqında məlumat verin. Teoremin TAM standart müddəasını, varsa ümumi adını və şərtlərini yazın. Əgər bu adda standart teorem yoxdursa, açıq şəkildə "bu ad standart deyil" deyin və onu uydurmayın. Əmin olmadığınız sahələri qeyd edin.
3) Öz həllimi yoxlamaq:
Aşağıda mənim həllim var. Hər bir addımı yoxlayın, əgər XƏTƏ varsa, hansı addımda və nə üçün göstərin; Düzdürsə, "bu addım düzgündür" deyin. Yeni bir həll yazmayın; sadəcə addımlarımı yoxlayın. Mənim həllim: [burada]
4) Strategiya təklifi (hesab deyil):
Aşağıdakı problemi həll etmək üçün 3 fərqli METOD/strategiya təklif edin (hesablamayın). Hər bir metodun müsbət və mənfi cəhətlərini bir cümlə ilə yazın. Hansının bu problem üçün ən uyğun olduğunu və nə üçün olduğunu bildirin.
Zəif məlumat / Güclü göstəriş
Zəif: "Bu inteqralı həll edin: ∫ x·sin(x) dx"
Nəticə: bir sətirlik cavab; Heç bir ara addım, yoxlanış, heç bir səhv tutula bilməz.
Güclü: "Qeyri-müəyyən inteqral ∫ x·sin(x) dx ADDIM-ADDIM-nı qismən inteqralla həll edin. Hər addımda u və dv seçimini göstərin. Sonda nəticəni fərqləndirin və onun x·sin(x) vəziyyətinə qayıdıb-qaytarmadığını yoxlayın və göstərin."
Nəticə: Yoxlana bilən addımlar, daxili yoxlama (törəmə geri yoxlama) və xətanı görmək imkanı.
Ümumi səhvlər
- Nəticəyə kor-koranə inanmaq. LLM-nin inamlı tonu dəqiqliyə zəmanət vermir. Ən inamlı görünən cümlə belə səhv ola bilər.
- Aralıq addım istəməmək. Yalnız nəticəni istəyəndə səhvi tutmaq qeyri-mümkün olur.
- Deterministik vasitələrlə yoxlanılma. SymPy, kalkulyator və ya əl ilə əks yoxlama olmadan heç bir nəticəni təbii hesab etməyin.
- Teorem/düstur adlarını təsdiq etmir. Uydurma teorem adları hallüsinasiyanın ən məkrli növüdür.
- Kontekst verməmək. Tələbə səviyyəsini və icazə verilən üsulları qeyd etməmək (məsələn, "törəmələrdən istifadə") istifadə edilə bilməyən həllər ilə nəticələnir.
Diqqət: Tələbə və ya həmkarınıza ötürməzdən əvvəl AI çıxışını yoxladığınızdan əmin olun. Riyaziyyatda yanlış məlumat düzəldilənə qədər başqa səhvlər zəncirini yaradır. Təsdiqlənməmiş məhsul heç vaxt səlahiyyətli bir insanın təsdiqini əvəz etmir.
Xülasə
Süni intellekt riyaziyyatda güclü kontur, strategiya və təşkilatçılıq vasitəsidir; lakin bu kalkulyator və ya sübut yoxlayıcısı deyil. Halüsinasiya riski realdır və riyaziyyatdakı kiçik bir səhv bütün nəticəni təkzib edir. Beləliklə, əsas intizam aydındır: addım-addım həll edin, deterministik vasitələrlə yoxlayın, əks yoxlayın, teoremləri təsdiqləyin, şübhə ilə qalın. Bu modul boyunca hər bir vahiddə bu doğrulama düşüncə tərzini dərinləşdirəcəyik.
Tətbiq tapşırığı
Sahənizdən orta dərəcədə çətin riyaziyyat problemi seçin (inteqral, tənliklər sistemi və ya ehtimal sualı). Yuxarıdakı şablon 1 ilə AI-nin addım-addım həll etməsinə icazə verin. Sonra nəticəni müstəqil şəkildə yoxlayın (törəmə-inteqral tərs, radikal əvəzetmə və ya SymPy). Ən azı bir addımda "Görəsən burada bir səhv ola bilərmi?" Dayan və yoxla. Tapıntılarınızı 5-6 cümlə ilə yazın: Süni intellekt harda işləyirdi, doğrulama harada lazım idi?
yoxlama siyahısı
- [ ] Problemi aydın və kontekstdə müəyyən etdim.
- [ ] Mən süni intellektdən yalnız nəticəni deyil, addım-addım həllini istədim.
- [ ] Mən nəticəni deterministik alətlə və ya əl ilə yoxladım.
- [ ] Mən ən azı bir əks yoxlama aparmışam (geri fərqləndirmə, radikal əvəzləmə və s.).
- [ ] Sözügedən teoremi/düsturu etibarlı mənbədən təsdiqləmişəm.
- [ ] Mən heç bir təsdiqlənməmiş nəticə verməmişəm.