Добици:
- Способност коришћења вештачке интелигенције у решавању проблема у три различите улоге као консултант за стратегију, произвођач решења и ревизор решења, примерено нивоу ризика сваког од њих.
- Способност систематске провере сваког корака решења нумерисањем, испитивањем правила, аритметичком провером, контролним збирима и навођењем свих случајева.
- Бити у стању да провери и резултат и решење независним методама, схватајући да тачан резултат не значи исправан пут.
Решење математичког проблема је ланац међусобно повезаних корака; Ако је било која карика у ланцу прекинута, резултат је неважећи. АИ је веома добар у брзој изградњи овог ланца — али на људима је да прате снагу ланца. У овој јединици ћете научити како да користите АИ као партнера у решавању проблема и, што је још важније, како да систематски контролишете сваки направљен корак. Циљ је искористити брзину вештачке интелигенције, а да притом не пропустите ниједну грешку.
Прво, дефиниција: верификација корак по корак је провера да ли је сваки средњи корак решења тачан један по један. У математици, "Да ли је резултат тачан?" Питање није довољно; „Да ли је сваки средњи корак тачан?“ Питање је суштинско. Пошто понекад погрешни кораци случајно доведу до правог резултата (нестабилног решења), понекад једна аритметичка грешка у исправној стратегији поквари резултат.
Три различите улоге АИ у решавању проблема
Можете користити АИ у решавању проблема на три различита начина, а за сваки је потребна другачија валидација:
- Консултант за стратегију: "Како да решим овај проблем?" Овде АИ предлаже метод. Ризик је низак јер сами вршите прорачуне.
- Генератор решења: "Реши овај проблем." Ризик је висок јер и стратегија и прорачун потичу од вештачке интелигенције; Сваки корак мора бити надгледан.
- Провера решења: „Провери моје решење.“ То је средњи ризик; АИ може да пронађе грешке, али такође може да измисли грешке које не постоје или пропусте праву грешку.
Најсигурнији приступ је обично комбиновање 1 и 3: преузмите стратегију од АИ, извршите прорачун сами или помоћу СимПи-а, а затим извршите АИ проверу и унакрсну проверу.
Корак по корак: како проверити решење
1. Означите сваки корак. Тражење од АИ за решење у нумерисаним корацима омогућава вам да затим кажете: „Постоји грешка у кораку 3“.
2. На сваком кораку "које правило?" господине. Нека АИ запише које се алгебарско правило, теорема или идентитет користи у сваком пролазу. Ако је назив правила погрешан, корак је такође упитан.
3. Провери аритметику посебно. Чак и ако је алгебарска логика тачна, грешке у бројевима су уобичајене. Прегледајте свако сабирање, множење и промену знака.
4. Испробајте границе и изузетке. Тестирајте резултат на једноставним вредностима као што су к=0, к=1. Ако је формула бесмислена при овим вредностима, постоји грешка.
5. Вратите се уназад. Проверите резултат извода интеграцијом, заменом корена једначине, множењем факторизације назад.
6. Потражите конзистентност величине/јединице. Ако се јединице не сабирају у примењеним проблемима (нпр. додавање метара и секунди), формула је нетачна.
Савет: „Провера обрнутом операцијом“ је најмоћнији алат за верификацију у математици и скоро је бесплатан. Ако сте пронашли корен једначине, замените га; Ако сте узели интеграл, узмите његов извод; Ако сте урадили факторизацију, помножите назад. Ова провера од 30 секунди спречава сате у погрешном смеру.
Моћ обезбеђивања произилази из његове независности од вештачке интелигенције. Када замените корен, вршите детерминистичку проверу која је потпуно независна од онога што АИ ради у процесу решавања: или је једначина задовољена или није, нема између. Зато је верификација много вреднија од АИ која каже „наравно, тачно“; јер АИ може поновити исту грешку приликом валидације сопственог решења, али независна верификација је изван ове петље. Када можете дати критичан резултат на два различита независна начина (нпр. и замена и СимПи), ваше самопоуздање расте експоненцијално.
Класификација грешака
Табела у наставку резимира типове грешака које најчешће видите у АИ решењима и начин да их ухватите.
Врста грешке
пример
ухватити путању
грешка у знаку
Писање −(а−б) = −а−б
Отварање и провера мог имена ручно
аритметичка грешка
7×8 = 54
Потврда са калкулатором/СимПи
погрешно правило
заборави правило ланца
"Које правило?" питати
Грешка у пољу/дефиницији
добити дневник (негативно)
Провера домена
Статус прескоченог
Игнорисање дискриминанта < 0
Наведите све статусе
Измишљена теорема
назив непостојеће теореме
Потврда из извора
три мини кофера
Случај 1 — Тачан резултат, погрешан пут. Ученик је поставио АИ ограничено питање. АИ је открио да је резултат 3 — што је било тачно — али је у средњем кораку користио Л'Хопиталово правило где се не може применити (без несигурности 0/0). Ученик пита "које правило важи и зашто?" На питање, АИ је прихватио грешку и поново стигао до 3 на исправан начин. Резултат је био исти, али пут није био чврст; Путовање је такође оцењено на испиту.
Случај 2 — Изостављен падеж. Инжењер, |2к − 4| = 6 једначину апсолутне вредности решио је ИЗ. ИЗ је решио само 2к − 4 = 6 и дао к = 5; Прескочио је стање 2к − 4 = −6 (к = −1). Инжењер пита "колико држава има у апсолутној вредности?" Када сам питао, појавио се други корен. Тачност оба корена је потврђена заменом.
Случај 3 — Унакрсном провером су пронађене 3 грешке. Наставник је дао АИ да изврши тригонометријски доказ идентитета у 10 корака. Затим је упоредио исти доказ корак по корак са СимПи-јевом функцијом поједностављења. Открио је да је АИ погрешно применио идентитет у 3 од 10 корака. Укупно време провере 12 минута; Добијено поверење је непроцењиво.
Четири шаблона за копирање
1) Нумерисано решење засновано на правилима:
Реши овај проблем: [проблем]. Напишите решење у БРОЈ корака. У сваком кораку наведите назив правила/теореме коју сте користили у заградама. Немојте прескочити ниједан корак говорећи „очигледно“; прикажи сваки прелаз.
2) Не форсирајте сва стања:
Реши овај проблем: [проблем]. Наведите СВЕ МОГУЋЕ случајеве приликом решавања (нпр. апсолутна вредност, квадратна, ограничења домена). Не прескачите ниједан случај; Ако га прескочите, образложите зашто сте га прескочили.
3) Захтевање одредбе:
Нашли сте: [резултат]. Сада ПРОВЕРИТЕ овај резултат инверзном операцијом: [диференцијација / замена / множење назад]. Прикажите резултат контролне суме и реците да ли је у складу са првобитним проблемом.
4) Контрола оријентисана на грешке:
САМО потражите грешке у решењу испод. Проверите сваки корак по реду; када пронађете прву грешку, запишите који корак, коју врсту грешке (знак/аритметичка/правило) и која је исправна. Креирање новог решења. Решење: [овде]
Слаби промпт / Јаки промпт
Слабо: „Решити к² − 5к + 6 = 0.“
Резултат: „к = 2 и к = 3“ — може бити тачно, али нећете приметити да ли је непаран случај пропуштен или је факторизација погрешна.
Снажан: „Решите једначину к² − 5к + 6 = 0 и факторингом и дискриминантном формулом; покажите да две методе дају исте корене. Затим обезбедите сваки корен тако што ћете га заменити у једначину.“
Резултат: Две независне методе верифицирају једна другу, осигуравајући да је резултат тачан. Ако постоји грешка, две методе ће се сукобити и видећете је одмах.
Уобичајене грешке
- Само гледам резултат. Прави резултат не значи чврст пут. Такође проверите пут.
- Прескакање обезбеђивања. 30-секундна провера замене/повратне изведенице хвата већину грешака; Немојте то занемарити.
- Не наводећи ситуације. Изостављања апсолутне вредности, квадратног, коренског и доменског ограничења су најчешће грешке.
- Веровати АИ да каже „без грешака“. АИ у улози ревизора може пропустити праву грешку; Људско око је неопходно у критичком раду.
- Бити задовољан једним методом. Ако је могуће, решите и упоредите користећи две независне методе.
Опрез: Када АИ провери ваше решење, понекад може да направи непостојећу „буг“ и да вас одврати од вашег исправног решења. Дакле, када АИ покаже грешку, ви такође проверите да ли је та грешка заиста грешка. Ревизор такође може погрешити.
Укратко
У решавању проблема, АИ игра три улоге: саветник за стратегију, генератор решења, ревизор решења. Најсигурнији приступ је преузети стратегију од АИ, извршити прорачуне независним алатима и систематски ревидирати сваки корак. Бројчани кораци, "које правило?" питање, контролни збир (инверзна операција), гранични случајеви и листање свих случајева су основни алати за хватање грешака. Прави резултат не значи чврст пут; Проверите и резултат и путању.
Задатак апликације
Изаберите квадратну једначину или једначину апсолутне вредности. Решите ИЗ са шаблонима 1 и 2. Затим: (а) проверите да ли су сви случајеви покривени, (б) обезбедите сваки корен заменом, (ц) решите и упоредите поново другом методом, ако је могуће. Ако пронађете грешку, забележите који је тип (знак/аритметика/правило/прескочено стање).
контролна листа
- [ ] Решење сам узео у нумерисаним корацима.
- [ ] Потврдио сам правило коришћено у сваком кораку.
- [ ] Проверио сам да су све непредвиђене ситуације решене.
- [ ] Проверио сам резултат инверзном операцијом (проверавањем).
- [ ] Ако је могуће, упоредио сам га са другом методом.
- [ ] Такође сам независно проверио „грешке“ које је АИ показала.