zisky:
- Schopnosť využívať umelú inteligenciu pri riešení problémov v troch rôznych rolách ako strategický konzultant, výrobca riešení a audítor riešení, primerane k úrovni rizika každého z nich.
- Schopnosť systematicky kontrolovať každý krok riešenia číslovaním, dotazovaním na pravidlá, aritmetickou kontrolou, kontrolnými súčtami a zoznamom všetkých prípadov.
- Byť schopný overiť výsledok aj riešenie nezávislými metódami a pochopiť, že správny výsledok neznamená správnu cestu.
Riešením matematického problému je reťazec vzájomne prepojených krokov; Ak je niektorý článok reťaze zlomený, výsledok je neplatný. Umelá inteligencia je veľmi dobrá v rýchlom budovaní tohto reťazca – ale je na ľuďoch, aby sledovali silu reťazca. V tejto lekcii sa naučíte, ako používať AI ako partnera pri riešení problémov, a čo je dôležitejšie, ako systematicky kontrolovať každý vytvorený krok. Cieľom je využiť rýchlosť AI a zároveň nevynechať žiadne chyby.
Po prvé, definícia: Overovanie krok za krokom je kontrola, či je každý medzikrok riešenia jeden po druhom správny. V matematike: "Je výsledok správny?" Otázka nestačí; "Je každý medzikrok správny?" Otázka je podstatná. Pretože niekedy nesprávne kroky vedú náhodou k správnemu výsledku (nestabilnému riešeniu), niekedy jediná aritmetická chyba v správnej stratégii výsledok pokazí.
Tri rôzne úlohy AI pri riešení problémov
AI môžete použiť pri riešení problémov tromi rôznymi spôsobmi a každý z nich vyžaduje iné overenie:
- Strategický konzultant: "Ako vyriešim tento problém?" Tu AI navrhuje metódu. Riziko je nízke, pretože výpočty robíte sami.
- Generátor riešení: "Vyriešte tento problém." Riziko je vysoké, pretože stratégia aj výpočet pochádzajú z AI; Každý krok musí byť pod dohľadom.
- Kontrola riešenia: "Skontrolujte moje riešenie." Je to stredné riziko; Umelá inteligencia dokáže nájsť chyby, ale môže tiež vymyslieť chyby, ktoré neexistujú alebo im chýba skutočná chyba.
Najbezpečnejším prístupom je zvyčajne kombinácia 1 a 3: získajte stratégiu od AI, urobte výpočet sami alebo pomocou SymPy, potom nechajte AI skontrolovať a krížovo skontrolovať.
Krok za krokom: ako skontrolovať riešenie
1. Očíslujte každý krok. Požiadanie AI o riešenie v očíslovaných krokoch vám umožní povedať: "V kroku 3 je chyba."
2. Pri každom kroku "aké pravidlo?" pane. Nechajte AI zapísať, ktoré algebraické pravidlo, veta alebo identita sa používa v každom prechode. Ak je názov pravidla nesprávny, krok je tiež otázny.
3. Samostatne skontrolujte aritmetiku. Aj keď je algebraická logika správna, chyby v počte sú bežné. Skontrolujte každé sčítanie, násobenie a zmenu znamienka.
4. Skúste hranice a výnimky. Otestujte výsledok na jednoduchých hodnotách ako x=0, x=1. Ak je vzorec pri týchto hodnotách nezmyselný, došlo k chybe.
5. Vráťte sa dozadu. Skontrolujte výsledok derivácie integráciou, dosadením koreňa rovnice a spätným vynásobením faktorizácie.
6. Pozrite sa na konzistenciu veľkosti/jednotky. Ak sa jednotky v aplikovaných problémoch nesčítavajú (napr. pridávanie metrov a sekúnd), vzorec je nesprávny.
Tip: „Overenie spätnou operáciou“ je najsilnejší verifikačný nástroj v matematike a je takmer zadarmo. Ak ste našli koreň rovnice, nahraďte ho; Ak ste vzali integrál, vezmite jeho deriváciu; Ak ste vykonali faktorizáciu, vynásobte späť. Táto 30-sekundová kontrola zabráni hodinám nesprávneho smeru.
Sila poskytovania prostriedkov pochádza z jeho nezávislosti od AI. Keď nahradíte koreň, vykonáte deterministickú kontrolu, ktorá je úplne nezávislá od toho, čo robí AI v procese riešenia: buď je rovnica splnená, alebo nie, medzi tým neexistuje. To je dôvod, prečo je overenie oveľa cennejšie ako AI hovoriace „iste, správne“; pretože AI môže zopakovať rovnakú chybu pri overovaní vlastného riešenia, ale nezávislé overenie je mimo tejto slučky. Keď dokážete dosiahnuť kritický výsledok dvoma rôznymi nezávislými spôsobmi (napr. ako náhrada, tak aj SymPy), vaša sebadôvera sa exponenciálne zvyšuje.
Klasifikácia chýb
V tabuľke nižšie sú zhrnuté typy chýb, ktoré najčastejšie vidíte v riešeniach AI, a spôsob, ako každú z nich zachytiť.
Typ chyby
príklad
zachytiť cestu
chyba znamienka
Zápis −(a−b) = −a−b
Manuálne otváranie a kontrola môjho mena
aritmetická chyba
7×8 = 54
Potvrdenie pomocou kalkulačky/SymPy
nesprávne pravidlo
zabudnite na pravidlo reťaze
"Aké pravidlo?" pýtať sa
Chyba poľa/definície
získať log (záporný)
Kontrola domény
Stav vynechaný
Ignorovanie diskriminantu < 0
Zoznam všetkých stavov
Vymyslená veta
neexistujúci názov vety
Potvrdenie zo zdroja
tri mini prípady
Prípad 1 – Správny výsledok, nesprávna cesta. Študent položil AI limitnú otázku. AI zistila, že výsledok je 3 – čo bolo správne – ale v medzikroku použila L'Hôpitalovo pravidlo, kde sa nedalo použiť (bez neistoty 0/0). Študent sa pýta "ktoré pravidlo platí a prečo?" Na otázku AI uznala chybu a opäť dosiahla 3 správnym spôsobom. Výsledok bol rovnaký, ale cesta nebola pevná; Na skúške sa bodovala aj cesta.
Prípad 2 – vynechaný prípad. Inžinier, |2x − 4| = 6 rovnica absolútnej hodnoty bola vyriešená pomocou YZ. YZ vyriešilo iba 2x − 4 = 6 a dalo x = 5; Preskočilo stav 2x − 4 = −6 (x = −1). Inžinier sa pýta "koľko stavov je v absolútnej hodnote?" Keď som sa spýtal, objavil sa druhý koreň. Správnosť oboch koreňov bola potvrdená substitúciou.
Prípad 3 – Krížová kontrola našla 3 chyby. Učiteľ nechal AI urobiť 10-krokový trigonometrický dôkaz identity. Potom porovnal rovnaký dôkaz krok za krokom s funkciou SimPy zjednodušiť. Zistil, že AI aplikovala identitu nesprávne v 3 z 10 krokov. Celkový čas kontroly 12 minút; Získaná dôvera je na nezaplatenie.
Štyri kopírovateľné šablóny
1) Číslované riešenie založené na pravidlách:
Vyriešte tento problém: [problém]. Riešenie napíšte v ČÍSELNÝCH krokoch. V každom kroku uveďte v zátvorke názov pravidla/vety, ktorú ste použili. Nevynechávajte žiadny krok vyslovením „samozrejme“; zobraziť každý prechod.
2) Nevynucujte všetky stavy:
Vyriešte tento problém: [problém]. Pri riešení uveďte VŠETKY MOŽNÉ prípady (napr. absolútna hodnota, kvadratické, doménové obmedzenia). Nevynechávajte žiadne prípady; Ak to preskočíte, zdôvodnite, prečo ste to preskočili.
3) Žiadosť o poskytnutie:
Našli ste: [výsledok]. Teraz tento výsledok OVERITE inverznou operáciou: [rozlíšiť / nahradiť / vynásobiť späť]. Ukážte výsledok kontrolného súčtu a povedzte, či je v súlade s pôvodným problémom.
4) Chybovo orientované ovládanie:
STAČÍ hľadať chyby v riešení nižšie. Skontrolujte každý krok v poradí; keď nájdete prvú chybu, napíšte, ktorý krok, aký typ chyby (znamienko/aritmetika/pravidlo) a ktorá je správna. Vytvorenie nového riešenia.Riešenie: [tu]
Slabá výzva / Silná výzva
Slabé: "Vyriešiť x² − 5x + 6 = 0."
Výsledok: „x = 2 a x = 3“ — môže to byť pravda, ale nevšimnete si, či ste vynechali nepárny prípad alebo ak je faktorizácia nesprávna.
Strong: "Vyriešte rovnicu x² − 5x + 6 = 0 faktorovaním aj diskriminačným vzorcom; ukážte, že tieto dve metódy dávajú rovnaké korene. Potom poskytnite každý koreň jeho dosadením do rovnice."
Výsledok: Dve nezávislé metódy sa navzájom overujú a zabezpečujú presnosť výsledku. Ak dôjde k chybe, tieto dve metódy budú v konflikte a okamžite to uvidíte.
Časté chyby
- Stačí sa pozrieť na výsledok. Správny výsledok neznamená pevnú cestu. Skontrolujte aj cestu.
- Preskočenie poskytovania. 30-sekundová kontrola substitúcie/spätnej derivácie zachytí väčšinu chýb; Nezanedbávajte to.
- Neuvádzanie situácií. Vynechanie absolútnej hodnoty, kvadratických, koreňových a doménových obmedzení sú najčastejšími chybami.
- Dôverovať AI, že povie „žiadne chyby“. AI v úlohe audítora môže prehliadnuť skutočnú chybu; Ľudské oko je nevyhnutné pri kritickej práci.
- Byť spokojný s jednou metódou. Ak je to možné, vyriešte a porovnajte pomocou dvoch nezávislých metód.
Upozornenie: Keď necháte AI skontrolovať vaše riešenie, môže niekedy vytvoriť neexistujúcu „chybu“ a odradiť vás od vášho správneho riešenia. Keď teda AI zobrazí chybu, skontrolujete tiež, či je táto chyba skutočne chybou. Aj audítor sa môže mýliť.
V súhrne
Pri riešení problémov zohráva AI tri úlohy: strategický poradca, generátor riešení, audítor riešení. Najbezpečnejším prístupom je prevziať stratégiu z AI, vykonávať výpočty pomocou nezávislých nástrojov a systematicky kontrolovať každý krok. Očíslované kroky, "aké pravidlo?" otázka, kontrolný súčet (inverzná operácia), limitné prípady a zoznam všetkých prípadov sú základné nástroje na zachytenie chýb. Správny výsledok neznamená pevnú cestu; Skontrolujte výsledok aj cestu.
Aplikačná úloha
Vyberte kvadratickú rovnicu alebo rovnicu absolútnej hodnoty. Vyriešte YZ pomocou šablón 1 a 2. Potom: (a) skontrolujte, či boli pokryté všetky prípady, (b) zabezpečte každý koreň dosadením, (c) vyriešte a porovnajte, ak je to možné, znova druhou metódou. Ak nájdete chybu, poznačte si, o aký typ ide (znamienko/aritmetika/pravidlo/vynechaná podmienka).
kontrolný zoznam
- [ ] Riešenie som použil v očíslovaných krokoch.
- [ ] Potvrdil som pravidlo použité v každom kroku.
- [ ] Overil som, že všetky nepredvídané udalosti boli vyriešené.
- [ ] Výsledok som skontroloval inverznou operáciou (kontrolou).
- [ ] Ak je to možné, porovnal som to s druhou metódou.
- [ ] Nezávisle som tiež overil „chyby“, ktoré AI ukázala.