Табыстар:
- Әрқайсысының тәуекел деңгейіне сәйкес стратегиялық кеңесші, шешім шығарушы және шешім аудиторы ретінде үш түрлі рөлде мәселені шешуде жасанды интеллектті пайдалану мүмкіндігі.
- Нөмірлеу, ережелерді сұрау, арифметикалық тексеру, бақылау сомасы және барлық жағдайларды тізімдеу арқылы шешімнің әрбір қадамын жүйелі түрде тексеру мүмкіндігі.
- Нәтижені де, шешімді де тәуелсіз әдістермен тексере білу, дұрыс нәтиже дұрыс жолды білдірмейтінін түсіну.
Математикалық есептің шешімі өзара байланысты қадамдар тізбегі болып табылады; Егер тізбектегі кез келген байланыс үзілсе, нәтиже жарамсыз. AI бұл тізбекті тез құруда өте жақсы, бірақ тізбектің күшін бақылау адамдарға байланысты. Бұл бөлімде сіз AI-ны мәселені шешуде серіктес ретінде қалай пайдалану керектігін және одан да маңыздысы, жасалған әрбір қадамды жүйелі түрде бақылауды үйренесіз. Мақсат - қателерді жіберіп алмай, AI жылдамдығын пайдалану.
Біріншіден, анықтама: Қадамдық тексеру – шешімнің әрбір аралық қадамының дұрыстығын бір-бірлеп тексеру. Математикадан "Нәтиже дұрыс па?" Сұрақ жеткіліксіз; «Әр аралық қадам дұрыс па?» Сұрақ маңызды. Кейде қате қадамдар кездейсоқ дұрыс нәтижеге әкелетіндіктен (тұрақсыз шешім), кейде дұрыс стратегиядағы бір арифметикалық қате нәтижені бұзады.
Мәселені шешуде AI үш түрлі рөлі
Мәселені шешуде AI-ны үш түрлі жолмен пайдалануға болады және әрқайсысы әртүрлі тексеруді қажет етеді:
- Стратегия бойынша кеңесші: «Мен бұл мәселені қалай шеше аламын?» Мұнда AI әдісті ұсынады. Тәуекел аз, өйткені есептеулерді өзіңіз жасайсыз.
- Шешім генераторы: «Бұл мәселені шешіңіз». Тәуекел жоғары, өйткені стратегия да, есептеу де AI-дан келеді; Әрбір қадам бақылануы керек.
- Шешімді тексеруші: «Менің шешімімді тексеріңіз». Бұл орташа тәуекел; AI қателерді таба алады, бірақ ол жоқ қателерді де жасай алады немесе нақты қатені жіберіп алады.
Ең қауіпсіз әдіс әдетте 1 және 3-ті біріктіру болып табылады: AI-дан стратегияны алыңыз, есептеуді өзіңіз немесе SymPy арқылы жасаңыз, содан кейін AI-ді тексеріп, өзара тексеруден өтіңіз.
Қадамдық: шешімді қалай тексеруге болады
1. Әр қадамды нөмірлеңіз. AI-дан шешімді нөмірленген қадамдармен сұрау сізге «3-қадамда қате бар» деп айтуға мүмкіндік береді.
2. Әр қадамда «қай ереже?» сэр. AI әр өтуде қандай алгебралық ереже, теорема немесе сәйкестік қолданылатынын жазып алуын сұраңыз. Ереженің аты қате болса, қадамы да күмәнді.
3. Арифметиканы бөлек тексеріңіз. Алгебралық логика дұрыс болса да, сандар қателері жиі кездеседі. Әрбір қосуды, көбейтуді және таңбаны өзгертуді қарастырыңыз.
4. Шектер мен ерекшеліктерді қолданып көріңіз. Нәтижені x=0, x=1 сияқты қарапайым мәндерде тексеріңіз. Бұл мәндерде формула мағынасыз болса, қате бар.
5. Кері қарай оралыңыз. Туындының нәтижесін интегралдау, теңдеудің түбірін ауыстыру, көбейткіштерге бөлуді кері көбейту арқылы тексеріңіз.
6. Өлшем/бірлік сәйкестігін іздеңіз. Қолданылған есептердегі бірліктер қосылмаса (мысалы, метрлер мен секундтарды қосу), формула дұрыс емес.
Кеңес: «Кері операция арқылы тексеру» математикадағы ең қуатты тексеру құралы және дерлік тегін. Егер сіз теңдеудің түбірін тапсаңыз, оны ауыстырыңыз; Егер сіз интегралды алсаңыз, оның туындысын алыңыз; Егер көбейткіштерге бөлуді жасасаңыз, кері көбейтіңіз. Бұл 30 секундтық тексеру сағат бойы дұрыс емес бағытты болдырмайды.
Қамтамасыз етудің күші оның AI-дан тәуелсіздігінен туындайды. Түбірді ауыстырған кезде, сіз AI шешу процесінде не істейтініне толығымен тәуелсіз детерминирленген тексеру жасайсыз: теңдеу қанағаттандырылды немесе ол орындалмайды, арасында ештеңе жоқ. Сондықтан тексеру «әрине, дұрыс» деген AI-дан әлдеқайда құнды; өйткені AI өз шешімін растау кезінде бірдей қатені қайталауы мүмкін, бірақ тәуелсіз тексеру бұл циклден тыс. Сыни нәтижені екі түрлі тәуелсіз жолмен (мысалы, ауыстыру және SymPy) жеткізе алатын болсаңыз, сенімділігіңіз экспоненциалды түрде артады.
Қателердің классификациясы
Төмендегі кестеде AI шешімдерінде жиі кездесетін қателердің түрлері және әрқайсысын ұстау жолы жинақталған.
Қате түрі
мысал
түсіру жолы
таңба қатесі
−(a−b) = −a−b жазу
Менің атымды қолмен ашу және тексеру
арифметикалық қате
7×8 = 54
Калькулятор/SymPy көмегімен растау
қате ереже
тізбек ережесін ұмытыңыз
«Қай ереже?» сұрау
Өріс/анықтама қатесі
журнал алу (теріс)
Доменді тексеру
Өткізілген күй
Дискриминантты елемеу < 0
Барлық күйлерді тізімдеңіз
Құрастырылған теорема
жоқ теорема атауы
Дереккөзден растау
үш шағын іс
1-жағдай - дұрыс нәтиже, қате жол. Студент AI-ға шекті сұрақ қойды. AI нәтижені 3 деп тапты - бұл дұрыс болды - бірақ аралық кезеңде ол L'Hopital ережесін қолданды, онда оны қолдану мүмкін емес (0/0 белгісіздіксіз). Оқушы «қандай ереже қолданылады және неліктен?» деп сұрайды. Сұрағанда, AI қатені қабылдап, дұрыс жолмен қайтадан 3-ке жетті. Нәтиже бірдей болды, бірақ жол берік болмады; Емтиханда саяхатқа да ұпай берілді.
2-жағдай — Түсірілмеген жағдай. Инженер, |2x − 4| = 6 абсолютті мән теңдеуі YZ арқылы шешілді. YZ тек 2x − 4 = 6 шешімін тауып, x = 5 мәнін берді; Ол 2x − 4 = −6 күйін (x = −1) өткізіп жіберді. Инженер «абсолюттік мәнде қанша штат бар?» деп сұрайды. Сұрағанымда екінші түбір пайда болды. Екі түбірдің дұрыстығы алмастыру арқылы расталды.
3-жағдай — Қайта тексеру 3 қатені тапты. Мұғалім AI-ға 10 қадамдық тригонометриялық сәйкестікті растауды тапсырды. Содан кейін ол дәл сол дәлелді қадам бойынша SymPy жеңілдету функциясымен салыстырды. Ол AI сәйкестендіруді 10 қадамның 3-інде дұрыс қолданбағанын анықтады. Жалпы тексеру уақыты 12 минут; Артқан сенім баға жетпес.
Көшірілетін төрт үлгі
1) Нөмірленген, ережеге негізделген шешім:
Бұл мәселені шешіңіз: [проблема]. Шешімді САНДА қадаммен жазыңыз. Әрбір қадамда жақша ішінде пайдаланған ереже/теореманың атын көрсетіңіз. «Анық» деп ешбір қадамды өткізіп алмаңыз; әрбір ауысуды көрсетіңіз.
2) Барлық күйлерді мәжбүрлемеңіз:
Бұл мәселені шешіңіз: [проблема]. Шешу кезінде БАРЛЫҚ МҮМКІН жағдайларды тізіп көрсетіңіз (мысалы, абсолютті мән, квадраттық, домен шектеулері). Ешбір жағдайды өткізіп алмаңыз; Егер сіз оны өткізіп жіберсеңіз, неге өткізіп жібергеніңізді дәлелдеңіз.
3) Сұрау салу:
Сіз таптыңыз: [нәтиже]. Енді бұл нәтижені кері операция арқылы ТЕКСЕРІҢІЗ:[айыру / алмастыру / кері көбейту]. Бақылау сомасының нәтижесін көрсетіңіз және оның бастапқы есеппен сәйкестігін айтыңыз.
4) Қатеге бағытталған басқару:
ТЕК төмендегі шешімдегі қателерді іздеңіз. Әр қадамды ретімен тексеріңіз; бірінші қатені тапқанда, қай қадамды, қатенің қандай түрін (таңба/арифметика/ереже) және қайсы дұрыс екенін жазыңыз. Жаңа шешім жасау. Шешім: [мұнда]
Әлсіз шақыру / Күшті шақыру
Әлсіз: "x² − 5x + 6 = 0 шешіңіз."
Нәтиже: "x = 2 және x = 3" — дұрыс болуы мүмкін, бірақ тақ жағдайдың өткізіп алынғанын немесе көбейткіштерге бөлудің қате екенін байқамайсыз.
Күшті: "x² − 5x + 6 = 0 теңдеуін факторинг және дискриминант формуласы арқылы шешіңіз; екі әдістің бірдей түбірлер беретінін көрсетіңіз. Содан кейін әрбір түбірді теңдеуде ауыстыру арқылы қамтамасыз етіңіз."
Нәтиже: Нәтиженің дәлдігін қамтамасыз ететін екі тәуелсіз әдіс бірін-бірі тексереді. Егер қате болса, екі әдіс қайшы келеді және сіз оны бірден көресіз.
Жалпы қателер
- Тек нәтижеге қарап. Дұрыс нәтиже берік жолды білдірмейді. Сондай-ақ жолды тексеріңіз.
- Қамтамасыз етуді өткізіп жіберу. 30 секундтық ауыстыру/кері туынды тексеру көптеген қателерді анықтайды; Оны назардан тыс қалдырмаңыз.
- Жағдайларды тізімдемеу. Абсолюттік мәндегі, квадраттық, түбірлік және домендік шектеулердегі жіберіп алулар ең жиі кездесетін қателер болып табылады.
- AI-ға «қате жоқ» деп сену. Аудитор рөліндегі AI нақты қатені жіберіп алуы мүмкін; Сыни жұмыста адамның көзі маңызды.
- Бір әдіске қанағаттану. Мүмкіндігінше екі тәуелсіз әдісті пайдаланып шешіп, салыстырыңыз.
Абайлаңыз: AI сіздің шешіміңізді тексергенде, ол кейде жоқ «қате» жасап, сізді дұрыс шешіміңізден бас тартуы мүмкін. Осылайша, AI қатені көрсеткенде, сіз бұл қатенің шынымен қате екенін тексересіз. Аудитор да қателесуі мүмкін.
Қысқаша айтқанда
Мәселені шешуде AI үш рөл атқарады: стратегия бойынша кеңесші, шешім генераторы, шешім аудиторы. Ең қауіпсіз әдіс - AI-дан стратегияны алу, тәуелсіз құралдармен есептеулерді жасау және әрбір қадамды жүйелі түрде тексеру. Нөмірленген қадамдар, "қай ереже?" сұрақ, бақылау сомасы (кері операция), шектеу жағдайлары және барлық жағдайлардың тізімі қателерді анықтаудың негізгі құралдары болып табылады. Дұрыс нәтиже берік жолды білдірмейді; Нәтижені де, жолды да тексеріңіз.
Қолданбалы тапсырма
Квадрат теңдеуді немесе абсолютті мәнді теңдеуді таңдаңыз. 1 және 2 үлгілерімен YZ шешіңіз. Содан кейін: (а) барлық жағдайлардың қамтылғанын тексеріңіз, (b) ауыстыру арқылы әрбір түбірді тексеріңіз, (c) мүмкіндігінше екінші әдіспен шешіп, қайта салыстырыңыз. Қатені тапсаңыз, оның қандай түріне жататынын ескеріңіз (таңба/арифметика/ереже/өткізіп жіберу шарты).
бақылау парағы
- [ ] Шешімді нөмірленген қадамдармен қабылдадым.
- [ ] Мен әр қадамда қолданылатын ережені растадым.
- [ ] Мен барлық күтпеген жағдайлардың қарастырылғанын растадым.
- [ ] Мен нәтижені кері амал (тексеру) арқылы тексердім.
- [ ] Мүмкін болса, мен оны екінші әдіспен салыстырдым.
- [ ] Мен сондай-ақ AI көрсеткен «қателерді» тәуелсіз түрде тексердім.