Пайдалар:
- Жасалма интеллект эмне үчүн математикада ката кетирерин (тил модели болуу, логиканы текшерүү эмес) жана каталардын жети негизги түрүн тааный билүү
- Математикада ката таралган жана тактык бинардык экенин түшүнүү менен ар бир кадамды текшерүү эмне үчүн зарыл экенин түшүндүрө билүү.
- Жалпы маанидеги тестирлөө, чоңдуктарды текшерүү тартиби, контролдук суммалар, кайчылаш текшерүү жана көз карандысыз ыкмалар аркылуу көп катмарлуу текшерүү дисциплинасын колдонуу мүмкүнчүлүгү
Бул бөлүм модулдун өзөгүндөгү ойду тереңдетет: AI эмне үчүн жана кантип математикада ката кетирет, бул каталардын кандай түрлөрү бар жана аларды кантип системалуу түрдө кармай алабыз? Мурунку бөлүмдөрдө биз ар бир тема боюнча текшерүү ыкмаларын көрдүк; Бул жерде биз каталардын анатомиясын бир чатырдын астында чогултабыз. Эң негизгиси, сиз AI натыйжасын көргөндө "бул жерде кандай ката болушу мүмкүн?" Бул рефлексивдүү ойлонгон валидация менталитетине ээ болуу.
Эскертүү: галлюцинация – бул жасалма интеллект чындыгында чындыкка дал келбеген маалыматты ишенимдүү түрдө чыгарганда. Математикада галлюцинация көбүнчө "ынандыруучу, бирок жалган" түрүндө пайда болот. Эмне үчүн AI ката кетирет? Бул логикалык кыймылдаткыч эмес, тил модели болгондуктан, башкача айтканда, статистикалык схемалар менен текстти чыгарат, ал кадамдардын логикалык негиздүүлүгүн текшербейт. «3 сандуу көбөйтүү» жана «жарамдуу далил» ал үчүн бир эле текстти чыгаруу милдети; Анын тактыгына кепилдик бере турган ички механизми жок.
Математикалык каталардын анатомиясы: жети түрү
Төмөнкү тизмеде AI чыгарууда эң көп кездешүүчү каталар жана алардын ар бири үчүн антидот камтылган.
Ката түрү
Ал кандай көрүнөт
антидот
арифметикалык ката
Сан катасы 7×8=54 сыяктуу
Calculator/SymPy
белги катасы
−(a−b)=−a−b
Менин атымды кол менен ач
Түзүлгөн теорема
жок теореманын аталышы
Булактан ырастоо
Эреженин туура эмес колдонулушу
чынжыр эрежесин унутпагыла
"Кайсы эреже?" суроо
Өткөрүлүп жиберилди
Терс тамырга көңүл бурбаңыз
Бардык статустарды тизмектеңиз
далил боштугу
"Ошондуктан" негизсиз
Ар бир өтүүдө суроо
Эски/туура эмес маалыматтар
эскирген маалымат
булак
Эмне үчүн математика өзгөчө көңүл бурууну талап кылат?
Көпчүлүк аймактарда кичинекей катанын кесепети аз болот. Математикада каталар жайылып, өсөт. Теңдеменин биринчи сабындагы белги катасы кийинки он сапты жана акыркы натыйжаны таптакыр туура эмес кылат. Далилдин ортосундагы боштук бүт далилди жараксыз кылат. Бул "морттук" математиканын ар бир кадамын текшерүүнү талап кылат - "жалпысынан айтканда, чын окшойт" жетишсиз.
Анын үстүнө, математикадагы чындык бинардык: натыйжа же чын, же жалган, ортосунда эч нерсе жок. Тексттин корутундусунда "сексен пайыз так" кабыл алынышы мүмкүн; Интегралда "сексен пайыз туура" деген нерсе жок — же бул туура натыйжа же туура эмес. Бул кош мүнөз текшерүүнү кыйла маанилүү жана (бактыга жараша) дагы мүмкүн кылат: натыйжа же текшерүүдөн өтөт же өтпөйт.
Кадам-кадам: системалуу текшерүү дисциплинасы
1. Ар бир сандык натыйжаны курал менен ырастаңыз. Эч качан арифметиканы AIга таянуу үчүн калтырбаңыз; SymPy, эсептегич же кол менен.
2. Ар бир символикалык натыйжаны SymPy менен текшериңиз. Интегралдык, туунду, жөнөкөйлөтүү, теңдеме — бардыгын SymPy менен текшерүүгө болот.
3. Ар бир теореманы/формуланы булактан ырастаңыз. Аты жана сөз айкашы туурабы? Ойдон чыгарылган теоремалар эң тымызын тузак.
4. Ар бир далилде ар бир окуяны сура. "Бул чын эле мурунку кадамдан келип чыгабы?" Негизги жагдай, кыйыр божомол, боштук текшерүү.
5. Текшерүү жана каршы текшерүү. Тескери операция, алмаштыруу, чектик абал, өлчөмдүү анализ.
6. Аны жалпы акыл-эсти сынап көрүңүз. Жыйынтык акылга сыярлыкпы? Ыктымалдуулук 1ден чоң болсо, узундук терс болсо, ката бар.
Ишара: Акыл-эстүүлүктүн эң тез сыналышы - бул "чоңдуктун тартиби" текшерүү. Натыйжа болжолдуу түрдө күтүлгөн диапазондобу? Класстын орточо баасы 250 (100дөн) же ыктымалдуулук 3,5 болсо, деталдарды карап туруп эле ката бар экенин билесиз. Бул 5 секунддук текшерүү бүчүрдөгү көптөгөн күлкүлүү натыйжаларды жок кылат.
үч мини учурлар
1-жагдай - Чынжыр белгиси катасы. Бир студент 8 саптык алгебралык жөнөкөйлөштүрүүдө 2-сапта жасалган AI белги катасы кийинки 6 сапка чейин жайылганын аныктады. Акыркы жыйынтык такыр туура эмес болгон, бирок AI аны толук ишеним менен көрсөттү. Студент аны SymPy менен нөлдөн баштап жөнөкөйлөткөндө, туура натыйжа алынды жана AI 2-саптагы катаны табууга мүмкүндүк берди. Бир белги 6 сапты жокко чыгарды.
2-жагдай - Акыл-эстүүлүк сыноону сактап калды. Мугалимде AI ыктымалдуулук маселесин чечет; Натыйжада 1,4 болду. Мугалим майда-чүйдөсүнө чейин карап туруп, "Ыктымалдуулук 1ден жогору болушу мүмкүн эмес" деди жана катаны издеди: AI дискреттик эмес окуяларды дискреттүү болуп чогулткан. Жалпы акыл-эсти текшерүү секунданын ичинде катаны көрсөттү.
3-жагдай — Жасалган формула. Инженер AIдан сериялык сумма үчүн "жабык формуланы" сурады. AI ынандырарлык формуланы берди. Инженер формуланы формула боюнча да, кол менен кошуу менен да n (n=3) кичине маанисине сынап көрдү; Жыйынтыктар дал келген жок. Формула түзүлдү. Бир аз оңдоп-түзөө бир нече саат туура эмес колдонуунун алдын алды.
Көчүрүү үчүн төрт шаблон
1) Көп катмарлуу текшерүү өтүнүчү:
Сиз таптыңыз: [натыйжа]. Эми муну ҮЧ түрдүү жол менен текшериңиз: (1) аны тескери түрдө хэштөө, (2) жөнөкөй ыңгайлаштырылган маанини текшерүү, (3) SymPy менен текшерүү үчүн бир нече код (чыгарууну көрөм). Үч жол тең ырааттуу болсо, айтыңыз; Болбосо, кайсы кадамда ката бар экенин көрсөтүңүз.
2) Акыл-эсти билүү/ранг тести:
Сиз таптыңыз: [натыйжа]. Бул натыйжа ЭСКЕРТҮҮ экенин билүү үчүн аны жалпы мааниде сынап көрүңүз: чоңдуктун күтүлгөн тартиби кандай, белги туурабы, ал чектердеби (мисалы, ыктымалдуулук 0-1)? Эгерде ал акылга сыярлык эмес болсо, кайсы жерде ката болушу мүмкүн экенин изилдеңиз.
3) Теореманы/формуланы ырастоо:
Сиз колдонуп жаткан [теорема/формула] чындап эле стандарттуу жана туурабы? Анын стандарттуу туюнтмасын жана шарттарын жаз. Муну кичинекей үлгү менен сынаган эсепти көрсөтүңүз (мис. n=3). Эгер бул жасалма формула болсо же сиз ишенбеген нерсе болсо, аны ачык айтыңыз.
4) Ката режиминин диагностикасы:
Мен төмөндөгү чечимде ката бар экенин билем. Бул ката түрлөрүн бир-бирден текшериңиз: арифметика, белги, туура эмес эреже, өткөрүп жиберилген шарт, домен. Бул катанын кандай түрү жана кайсы кадамда экенин айтыңыз. Чечим: [бул жерде]
Алсыз тездик / Күчтүү тездик
Алсыз: "Бул тыянак туурабы?" [натыйжаны чаптоо]
Натыйжа: AI көп учурда "ооба туура" дейт (өз натыйжасын ырастоо тенденциясы); ишенимсиз, анткени көз карандысыз аудит жок.
Күчтүү: "Бул жыйынтыкты көз карандысыз жол менен ТЕКШЕРҮҮ: башка чечүү жолун колдонуңуз же SymPy коду менен текшериңиз (кодду иштетем). Жөн гана "чын/жалган" деп айтпаңыз; кайсы текшерүүнү жана натыйжаны көрсөтүңүз. Эгер текшерүү суммасы ишке ашпай калса, катаны табыңыз."
Натыйжа: Көз карандысыз башкаруу ыкмасына каршы чыгуу; AI өзүнүн өндүрүшүн сокур түрдө бекитүүгө жол бербейт.
Жалпы каталар
- Өзүнүн өндүрүшүн текшерүү үчүн AI алуу. "Бул чынбы?" AI көп учурда өз катасын тастыктайт; Көз карандысыз ыкма талап кылынат.
- Жалпы акыл сынагын өткөрүп жиберүү. Ыктымалдуулуктун 1ден чоңу жана узундуктун терс болушу сыяктуу маанисиз сөздөрдү майда-чүйдөсүнө чейин карабастан эле кармаса болот.
- Бир текшерүүгө таянуу. Критикалык натыйжаларда бир нече көз карандысыз жолдорду (хэштер + SymPy + ыңгайлаштырылган маани) колдонуңуз.
- Кичинекей үлгүлөр менен формулаларды сынап көрүү эмес. Түзүлгөн формулалар n=2, n=3 сыяктуу кичинекей маанилерде дароо кыйрайт.
- Ката жайылганын унутуп. Биринчи саптагы ката бүт натыйжаны бузат; Эгер ката тапсаңыз, аны башынан текшериңиз.
Абайлаңыз: AI ишенимдүүлүгү менен анын тактыгынын ортосунда эч кандай байланыш жок. Эң чечкиндүү, эң эркин, эң "ишенимдүү" көрүнгөн сүйлөм такыр туура эмес болушу мүмкүн. Үнгө эмес, көз карандысыз текшерүүгө ишениңиз. Натыйжаны кол менен же детерминисттик курал менен ырастаганда гана "чындык" деп эсептеңиз - AI "ишенимдүү" деп айткандыктан эмес.
Кыскача айтканда
AI математикада ката кетирет, анткени бул логиканы башкарган кыймылдаткыч эмес, текстти статистикалык түрдө чыгарган тил модели. Каталар жети негизги түргө бөлүнөт: арифметикалык, белги, түзүлгөн теорема, эреженин туура эмес колдонулушу, калтырылган учур, далил боштугу, эскирген маалыматтар. Математикада каталар жайылып, өсөт, чындык бинардык - ошондуктан ар бир кадам текшерилиши керек. Системалык тартип: ар бир сандык инструментти, SymPy менен ар бир символикалык натыйжаны, булактан алынган ар бир теореманы, ар бир далилди суроо аркылуу текшериңиз; Текшерүүнү, каршы текшерүүнү жана жалпы маанидеги тестти колдонуңуз. AIнын ишеними тактыктын далили эмес.
Колдонмо тапшырмасы
Орто узундуктагы (кеминде 6-8 кадам) чечими менен маселени тандап, аны AI чечсин. Андан кийин бул бирдиктин 1 жана 4 үлгүлөрүн колдонуу менен көп катмарлуу текшерүүнү жүргүзүңүз: (a) жалпы маанини/ранкты текшерүү, (б) SymPy менен текшерүү, (в) атайын мааниде тестирлөө. Андан кийин атайылап "мүчүлүштүктөрдү издөө" көзү менен чечүү сызыгынан өтүп, каталардын жети түрүнүн кайсынысы болушу мүмкүн экенин текшериңиз. Тапкан ар бир катаңыздын түрү менен бирге жазыңыз.
текшерүү тизмеси
- [ ] Мен ар бир сандык натыйжаны детерминисттик курал менен тастыктадым.
- [ ] Мен ар бир символикалык натыйжаны SymPy менен текшердим.
- [ ] Мен булактан же кичинекей мисал менен колдонулган теореманы/формуланы текшердим.
- [ ] Мен жалпы маанини / чоңдуктун тартибин колдондум.
- [ ] Мен аны көз карандысыз түрдө текшердим (AIнын өзүнүн макулдугуна ишенбестен).
- [ ] Ката тапканда, мен башынан эле чечимди кайра текшердим.