Qazanclar:
- Sübutun ideyasını və metodunu (birbaşa, ziddiyyətli, induktiv, ziddiyyətli) tapmaq və hər bir məntiqi addımın etibarlılığını özünü yoxlamaq üçün süni intellektdən istifadə etmək bacarığı
- “Aydın”, “ümumiliyə xələl gətirmədən” kimi ifadələrin arxasındakı sübut boşluqlarını, gizli fərziyyələri və əsassız sıçrayışları müəyyən etmək bacarığı
- İddianın doğruluğuna əmin olmadan sübuta istinad etməzdən əvvəl əks nümunələr axtararaq səlislik və etibarlılıq arasında fərq qoymaq bacarığı.
Riyazi sübut iddianın qəbul edilmiş aksiomlardan və əvvəllər sübut edilmiş teoremlərdən məntiqi addımlarla dəqiq çıxarılmasıdır. Sübut riyaziyyatın ən ciddi məhsuludur: tək etibarsız məntiqi keçid, buraxma və ya “boşluq” adlandırdığımız gizli fərziyyə bütün sübutu təkzib edir. Süni intellekt sübut üçün inandırıcı görünən mətn hazırlamaqda çox bacarıqlıdır - və məhz buna görə təhlükəlidir. İnandırıcı görünən mətn etibarlı sübut deyil. Bu bölmədə siz süni intellektdən bir sübut hazırlayan tərəfdaş kimi necə istifadə edəcəyinizi və hər bir məntiqi addımı necə yoxlamağı öyrənəcəksiniz.
İlk iki tərif. Sübut eskizi sübutun əsas ideyasını və skeletini verən, lakin hər detalı doldurmayan xülasədir. Sübut boşluğu, sübutun "burada izləyir" dediyi, lakin əslində onu əsaslandırmadığı bir sıçrayışdır. Süni intellektlə işləyərkən ən böyük risk inandırıcı cümlələrin əhatə etdiyi boşluqlardır: mətn axıcıdır, “buna görə də” və “açıq-aydın” kimi birləşmələrlə doludur, lakin bunların arasında sıçrayışlar var ki, bunlar əslində sübut olunmayıb.
Sübutda AI-nin güclü və zəif tərəfləri
Süni intellekt sübutda iki şeyi yaxşı yerinə yetirir: (1) məlum teoremin sübutunun standart ideyasını doğurur, (2) sübut üçün hansı metodun (induksiya, ziddiyyət, birbaşa, ziddiyyətli) uyğun ola biləcəyini təklif edir. Onun zəif tərəfi budur: orijinal və ya incə sübutun hər bir addımının həqiqətən etibarlı olmasını təmin etmək. Süni intellekt doğru görünən, lakin əslində yalan olan “yanlış sübutlar” yarada bilər – məsələn, induksiya addımında əsas işi atlaya bilər və ya “ümumiliyi pozmadan” deyə bilər, lakin əslində ümumiliyi pozan bir fərziyyə irəli sürə bilər.
Beləliklə, sübutda qızıl qayda: sübut ideyasını tapmaq və təsvir etmək üçün AI-dan istifadə edin; Hər bir məntiqi addımın etibarlılığını özünüz yoxlayın. Bir sübutu "qəbul etməzdən" əvvəl, hər bir "buna görə də" həqiqətən etibarlı olduğuna əmin olun.
Addım-addım: sübutun yoxlanılması
1. İddia və fərziyyələri aydınlaşdırın. Nə sübut olunur? Hansı fərziyyələr əsasında? Əgər bunlar qeyri-müəyyəndirsə, sübut da qeyri-müəyyəndir.
2. Sübut üsulunu bilin. Birbaşa, ziddiyyətlə, induktiv, ziddiyyətli? Metodun struktur tələblərini bilin (məsələn, induksiyada əsas vəziyyət + induksiya addımı vacibdir).
3. Hər “buna görə də” sualını verin. Hər məntiqi keçiddə "bu, həqiqətən də əvvəlki addımlardan irəli gəlirmi?" soruş. Ən məkrli boşluqlar “aydındır”, “asan görünür”, “ümumiliyi itirmədən” ifadələrinin arxasında gizlənir.
4. Gizli fərziyyələri axtarın. Sübut danışılmamış bir fərziyyəyə əsaslanırmı? Məsələn, bir ədədin müsbət və ya funksiyanın davamlı olması səssizcə qəbul edilə bilər.
5. Əks nümunəni sınayın. İddia yanlışdırsa, əks nümunə onu ləğv edir. Sübutları qəbul etməzdən əvvəl sadə xüsusi hallarda iddianın həqiqətən doğru olduğunu yoxlayın.
6. Satınalma orqanı ilə məsləhətləşin. Məlum teoremlərin standart sübutunu etibarlı mənbə ilə müqayisə edin (dərslik, rəy verilmiş mənbə).
İpucu: Sübutda olan “ümumiliyi itirmədən” ifadəsi iki tərəfli qılıncdır. Bəzən həqiqətən etibarlıdır (simmetriya varsa), bəzən gizli bir səhvdir. AI bu ifadədən çox istifadə edir. Hər dəfə özünüzə haqq qazandırın ki, “ümumilik əslində pozulmur”; Bunun üçün AI-nin sözünü qəbul etməyin.
Sübut üsulları və tələlər
sübut üsulu
Struktur
Ən çox yayılmış AI tələsi
birbaşa
Fərziyyə → ... → Nəticə
arasında bir addım atmaq
ziddiyyət
Əksini fərz edin → ziddiyyəti tapın
Ziddiyyət real deyil
induksiya
Əsas vəziyyət + addım
Əsas vəziyyəti unutmaq
kontrapozitiv
¬Nəticə → ¬Fərziyyə
yalan inkar
Əks nümunə (təkzib)
tək əks nümunə
Əks nümunə etibarsızdır
üç mini qutu
1-ci hal – natamam əsas iş. Müəllim AI "1 + 2 + ... + n = n (n+1)/2" düsturunu induksiya ilə sübut etdi. AI induksiya addımını düzgün yazdı, lakin əsas vəziyyəti heç vaxt yoxlamadı (n = 1). Müəllim “baza işi haradadır?” deyə soruşur. soruşdu; AI əlavə etdi. Əsas vəziyyət olmadan induksiya etibarsızdır; 30 saniyəlik yoxlama sübutu xilas etdi.
2-ci hal - Sıfıra gizli bölmə. Bir tələbə “hər a, b üçün a = b” kimi gülünc bir “sübut” gördü və AI-dən “burada səhv haradadır?” deyə soruşdu. – deyə soruşdu. YZ düzgün göstərdi ki, sübut bir addımda (a - b) ilə bölünür və a = b fərziyyəsi ilə bu, sıfıra bölünür. Burada AI auditor kimi uğurlu oldu; lakin tələbə yenə də bu addımı öz əli ilə yoxladı.
3-cü hal - inandırıcı yalan sübut. Mühəndislik tələbəsi süni intellektə malik idi və bərabərsizliyi sübut etdi. Mətn səlis və inandırıcı idi, lakin bir addımda kvadrat kökləri götürərkən həm müsbət, həm də mənfi köklərin mümkünlüyünə məhəl qoymadı və yalnız müsbəti götürdü. Tələbə hər addımını sorğulayanda bu boşluğu tapdı. Əlavə şərt (dəyişənlərin müsbətliyi) əlavə edildikdə sübut etibarlı oldu.
Dörd kopyalana bilən şablon
1) Sübut layihəsinin (fikirinin) tələb edilməsi:
Aşağıdakı iddianı (birbaşa, ziddiyyətli, induktiv, ziddiyyətli) sübut etmək üçün hansı METOD uyğun olardı? Sadəcə ƏSAS FİKİRİ və sübutun skeletini verin, tam sübutu yazmayın. İddia: [burada]
2) Addım-addım əsaslandırılmış sübut:
Aşağıdakı iddianı [metod] ilə sübut edin: [iddia]. Hər addım üçün hansı aksioma/teorem/tərifə etibar etdiyinizi yazın. "Aydın" və ya "asanlıqla" kimi ifadələrdən istifadə etməyin; Hər keçidi tam əsaslandırın. İnduksiya varsa, əsas vəziyyəti və induksiya addımını ayrıca göstərin.
3) Boşluqların aşkarlanması:
Aşağıdakı sübutu yoxlayın. YALNIZCA məntiqi boşluqları, gizli fərziyyələri və əsassız sıçrayışları axtarın. Hər bir "buna görə də" əvvəlki addımlardan əməl edib-etmədiyini yoxlayın. Tapdığınız hər bir boşluğun hansı pillədə olduğunu yazın. Sübut: [burada]
4) Əks nümunəni axtarın:
Mən aşağıdakı iddianın DOĞRU olub-olmadığını yoxlamaq istəyirəm: [iddia]. Əvvəlcə onu sadə xüsusi hallarda sınayın; ƏQS NÜMUNƏ tapmağa çalışın. Əgər əks nümunə tapsanız, onu göstərin; Əgər tapa bilmirsinizsə, cəhd etdiyiniz vəziyyətləri sadalayın (lakin bu sübut deyil, sadəcə sübut axtarır).
Zəif məlumat / Güclü göstəriş
Zəif: “√2-nin irrasional olduğunu sübut edin”.
Nəticə: Standart sübut gəlir, lakin bir addım (məsələn, "sonra p cütdür") əsaslandırılmadan atlanmış ola bilər və siz fərq etməyəcəksiniz.
Güclü: "√2-nin irrasional olduğunu TƏQDİDİYYƏ İLƏ sübut edin. Hər addımda hansı fərziyyədən istifadə etdiyinizi yazın; həmçinin "p² cütdürsə, p cütdür" kimi aralıq iddiaları əsaslandırın. Nəhayət, ziddiyyətin tam olaraq harada yarandığını aydın şəkildə göstərin."
Nəticə: Hər bir aralıq iddia əsaslıdır, ziddiyyətin mənbəyi aydındır, boşluq qalmır.
Ümumi səhvlər
- Etibarlılıqla axıcılığı qarışdırmaq. İnandırıcı mətn etibarlı sübut deyil; Hər addıma nəzarət edilməlidir.
- İnduksiyada əsas vəziyyətin atlanması. AI tez-tez əsas işi unudur; Təkcə induksiya addımı kifayət deyil.
- “Ümumiliyi itirmədən” sualsız qəbul etmək. Bu ifadə gizli səhv ola bilər; Hər dəfə buna haqq qazandırın.
- Gizli fərziyyələri görməmək. Müsbətlik, davamlılıq, sıfırdan fərqli və s. kimi fərziyyələr səssizcə sübuta sıza bilər.
- Əks nümunəni sınamadan sübuta etibar etmək. Əgər iddia batildirsə, sübut da batildir; Əvvəlcə sadə hallarda iddianın doğruluğunu yoxlayın.
Diqqət: Süni intellekt əslində yalan olan iddia üçün belə “sübut” yarada bilər – mətn hazırladığı üçün məntiqi etibarlılığa zəmanət vermir. Əgər iddianın düzgünlüyünə əmin deyilsinizsə, əvvəlcə əks nümunə axtarın. Yalan iddianın "sübutunda" mütləq boşluq var; Sizin işiniz bu boşluğu tapmaqdır.
Xülasə
Sübut riyaziyyatın ən ciddi məhsuludur və AI inandırıcı, lakin etibarsız “sübutlar” yarada bilər. Sübut ideyasını və metodunu tapmaq üçün AI-dan istifadə edin; Hər bir məntiqi addımın etibarlılığını özünüz yoxlayın. Əsas halları, gizli fərziyyələri və “aydın” və “qərəzsiz” kimi ifadələrin arxasındakı boşluqları axtarın. Əgər iddianın doğruluğundan əmin deyilsinizsə, sübuta etibar etməzdən əvvəl əks nümunəni sınayın. Səlislik etibarlılıq deyil.
Tətbiq tapşırığı
Standart bir teorem seçin (məsələn, "iki cüt ədədin cəmi cütdür" və ya "√2 irrasionaldır"). Süni intellektin 2-ci şablonla bunu addım-addım sübut etməsinə icazə verin. Sonra boşluq axtarışı üçün yenidən 3-cü şablon kimi eyni sübutu verin - qoy öz sübutunu yoxlasın. Sonra hər bir "buna görə də" əl ilə sorğulayın: əsas vəziyyət varmı, gizli fərziyyə varmı, hər keçid əsaslandırılıbmı? Ən azı bir potensial boşluq və ya təkmilləşdirmə nöqtəsini tapın və qeyd edin.
yoxlama siyahısı
- [ ] İddia və fərziyyələrə aydınlıq gətirdim.
- [ ] Mən sübut metodu və onun struktur tələbləri ilə tanış oldum.
- [ ] Mən təsdiqlədim ki, hər bir "buna görə də" əvvəlki addımlardan irəli gəlir.
- [ ] Mən əsas işi / gizli fərziyyə yoxlamasını etdim.
- [ ] Mən iddianı sadə hallarda sınaqdan keçirdim və əks nümunələr axtardım.
- [ ] Mən məlum teoremlərin standart sübutunu etibarlı mənbə ilə müqayisə etdim.