zisky:
- Schopnost používat umělou inteligenci při řešení problémů ve třech různých rolích jako strategický konzultant, producent řešení a auditor řešení, odpovídající úrovni rizika každého z nich.
- Schopnost systematicky kontrolovat každý krok řešení pomocí číslování, dotazování na pravidla, aritmetické kontroly, kontrolních součtů a výpisu všech případů.
- Být schopen ověřit výsledek i řešení nezávislými metodami s pochopením, že správný výsledek neznamená správnou cestu.
Řešením matematického problému je řetězec vzájemně propojených kroků; Pokud je některý článek řetězu přerušený, je výsledek neplatný. Umělá inteligence je velmi dobrá v rychlém budování tohoto řetězce – ale je na lidech, aby sledovali sílu řetězce. V této jednotce se naučíte, jak používat umělou inteligenci jako partnera při řešení problémů, a co je důležitější, jak systematicky kontrolovat každý vyrobený krok. Cílem je využít rychlost AI a přitom nevynechat žádnou chybu.
Nejprve definice: Ověřování krok za krokem je kontrola, zda je každý mezikrok řešení jeden po druhém správný. V matematice: "Je výsledek správný?" Otázka nestačí; "Je každý mezikrok správný?" Otázka je zásadní. Protože někdy chybné kroky vedou náhodou ke správnému výsledku (nestabilní řešení), někdy jediná aritmetická chyba ve správné strategii výsledek zkazí.
Tři různé role AI při řešení problémů
Umělou inteligenci můžete při řešení problémů používat třemi různými způsoby a každý z nich vyžaduje jiné ověření:
- Strategický konzultant: "Jak vyřeším tento problém?" Zde AI navrhuje metodu. Riziko je nízké, protože výpočty provádíte sami.
- Generátor řešení: "Vyřešte tento problém." Riziko je vysoké, protože jak strategie, tak kalkulace pocházejí z AI; Každý krok musí být pod dohledem.
- Kontrola řešení: "Zkontrolujte moje řešení." Je to střední riziko; Umělá inteligence dokáže najít chyby, ale může také vymýšlet chyby, které neexistují nebo postrádat skutečnou chybu.
Nejbezpečnějším přístupem je obvykle kombinace 1 a 3: získejte strategii od AI, proveďte výpočet sami nebo pomocí SymPy, poté nechte AI zkontrolovat a křížově zkontrolovat.
Krok za krokem: jak zkontrolovat řešení
1. Očíslujte každý krok. Požádat AI na řešení v očíslovaných krocích vám umožní říci: "V kroku 3 je chyba."
2. V každém kroku "jaké pravidlo?" Pane. Nechte AI zapsat, které algebraické pravidlo, teorém nebo identita se používá v každém průchodu. Pokud je název pravidla nesprávný, je krok také sporný.
3. Zkontrolujte aritmetiku samostatně. I když je algebraická logika správná, chyby v počtech jsou běžné. Zkontrolujte každé sčítání, násobení a změnu znaménka.
4. Zkuste meze a výjimky. Otestujte výsledek na jednoduchých hodnotách jako x=0, x=1. Pokud je vzorec při těchto hodnotách nesmyslný, došlo k chybě.
5. Vraťte se zpět. Zkontrolujte výsledek derivace integrací, dosazením kořene rovnice a zpětným vynásobením faktorizace.
6. Hledejte konzistenci velikosti/jednotky. Pokud se jednotky v aplikovaných problémech nesčítají (např. sčítání metrů a sekund), vzorec je nesprávný.
Tip: "Ověření reverzní operací" je nejvýkonnější ověřovací nástroj v matematice a je téměř zdarma. Pokud jste našli kořen rovnice, dosaďte jej; Pokud jste vzali integrál, vezměte jeho derivaci; Pokud jste provedli faktorizaci, vynásobte zpět. Tato 30sekundová kontrola zabraňuje hodinám špatného směru.
Síla zajišťování pochází z jeho nezávislosti na AI. Když dosadíte kořen, provedete deterministickou kontrolu, která je zcela nezávislá na tom, co dělá AI v procesu řešení: buď je rovnice splněna, nebo není, nic mezi tím neexistuje. To je důvod, proč je ověření mnohem cennější než AI „samozřejmě, správně“; protože AI může opakovat stejnou chybu při ověřování vlastního řešení, ale nezávislé ověření je mimo tuto smyčku. Když dokážete dodat kritický výsledek dvěma různými nezávislými způsoby (např. substitucí i SymPy), vaše sebevědomí exponenciálně vzroste.
Klasifikace chyb
Níže uvedená tabulka shrnuje typy chyb, které nejčastěji vidíte v řešeních AI, a způsob, jak každou z nich zachytit.
Typ chyby
příklad
zachytit cestu
chyba podepsat
Zápis −(a−b) = −a−b
Ruční otevírání a kontrola mého jména
aritmetická chyba
7×8 = 54
Potvrzení pomocí kalkulačky/SymPy
špatné pravidlo
zapomeňte na pravidlo řetězu
"Jaké pravidlo?" zeptat se
Chyba pole/definice
získat log (negativní)
Kontrola domény
Stav přeskočeno
Ignorování diskriminantu < 0
Seznam všech stavů
Vymyšlená věta
název neexistující věty
Potvrzení ze zdroje
tři mini pouzdra
Případ 1 — Správný výsledek, špatná cesta. Student položil AI limitní otázku. Umělá inteligence zjistila, že výsledek je 3 – což bylo správné – ale v mezikroku použila L'Hôpitalovo pravidlo, kde jej nebylo možné použít (bez nejistoty 0/0). Student se ptá "které pravidlo platí a proč?" Na dotaz AI uznala chybu a znovu dosáhla 3 správným způsobem. Výsledek byl stejný, ale cesta nebyla pevná; Cesta byla bodována i ve zkoušce.
Případ 2 – vynechaný případ. Inženýr, |2x − 4| = 6 rovnice absolutní hodnoty byla vyřešena pomocí YZ. YZ vyřešilo pouze 2x − 4 = 6 a dalo x = 5; Přeskočil stav 2x − 4 = −6 (x = −1). Inženýr se ptá: "Kolik stavů je v absolutní hodnotě?" Když jsem se zeptal, objevil se druhý kořen. Správnost obou kořenů byla potvrzena substitucí.
Případ 3 – Křížová kontrola nalezla 3 chyby. Učitel nechal AI provést 10-krokový trigonometrický důkaz identity. Poté porovnal stejný důkaz krok za krokem s funkcí SimPy zjednodušit. Zjistil, že AI nesprávně použila identitu ve 3 z 10 kroků. Celková doba kontroly 12 minut; Získaná důvěra je k nezaplacení.
Čtyři kopírovatelné šablony
1) Číslované řešení založené na pravidlech:
Vyřešte tento problém: [problém]. Řešení pište v ČÍSLENÝCH krocích. V každém kroku uveďte v závorce název pravidla/teorému, který jste použili. Nevynechávejte žádný krok vyslovením „samozřejmě“; zobrazit každý přechod.
2) Nevynucujte všechny stavy:
Vyřešte tento problém: [problém]. Vyjmenujte VŠECHNY MOŽNÉ případy při řešení (např. absolutní hodnota, kvadratická, doménová omezení). Nevynechávejte žádné případy; Pokud to přeskočíte, zdůvodněte, proč jste to přeskočili.
3) Žádost o poskytnutí:
Našli jste: [výsledek]. Nyní OVĚŘTE tento výsledek inverzní operací:[rozlišit / nahradit / vynásobit zpět]. Ukažte výsledek kontrolního součtu a řekněte, zda je v souladu s původním problémem.
4) Chybově orientované ovládání:
STAČÍ hledat chyby v níže uvedeném řešení. Zkontrolujte každý krok v pořadí; až najdete první chybu, napište, který krok, jaký typ chyby (znaménko/aritmetika/pravidlo) a jaká je správná. Vytvoření nového řešení. Řešení: [zde]
Slabá výzva / Silná výzva
Slabé: "Vyřešte x² − 5x + 6 = 0."
Výsledek: "x = 2 a x = 3" — může to být pravda, ale nevšimnete si, že se vynechá lichá velikost písmen nebo je chybná rozklad na rozklad.
Strong: "Vyřešte rovnici x² − 5x + 6 = 0 faktoringem i diskriminačním vzorcem; ukažte, že obě metody dávají stejné kořeny. Pak poskytněte každý kořen jeho dosazením do rovnice."
Výsledek: Dvě nezávislé metody se vzájemně ověřují a zajišťují přesnost výsledku. Pokud dojde k chybě, dojde ke konfliktu obou metod a okamžitě to uvidíte.
Časté chyby
- Stačí se podívat na výsledek. Správný výsledek neznamená pevnou cestu. Zkontrolujte také cestu.
- Přeskočení zajišťování. 30sekundová kontrola substituce/zpětné derivace zachytí většinu chyb; Nezanedbávejte to.
- Bez výčtu situací. Nejčastějšími chybami jsou vynechání absolutní hodnoty, kvadratická, kořenová a doménová omezení.
- Důvěřovat AI, že řekne „žádné chyby“. AI v roli auditora může přehlédnout skutečnou chybu; Lidské oko je v kritické práci nezbytné.
- Spokojit se s jednou metodou. Pokud je to možné, řešte a porovnejte pomocí dvou nezávislých metod.
Upozornění: Když AI kontroluje vaše řešení, může někdy vytvořit neexistující „chybu“ a odradit vás od vašeho správného řešení. Když tedy AI zobrazí chybu, zkontrolujete také, zda je tato chyba skutečně chybou. I auditor se může mýlit.
V souhrnu
Při řešení problémů hraje AI tři role: strategický poradce, generátor řešení, auditor řešení. Nejbezpečnějším přístupem je převzít strategii z AI, provádět výpočty pomocí nezávislých nástrojů a systematicky kontrolovat každý krok. Očíslované kroky, "jaké pravidlo?" otázka, kontrolní součet (inverzní operace), limitní případy a výpis všech případů jsou základními nástroji pro zachycení chyb. Správný výsledek neznamená pevnou cestu; Zkontrolujte výsledek i cestu.
Aplikační úkol
Vyberte kvadratickou rovnici nebo rovnici absolutní hodnoty. Vyřešte YZ pomocí šablon 1 a 2. Poté: (a) zkontrolujte, že byly pokryty všechny případy, (b) zajistěte každý kořen dosazením, (c) vyřešte a porovnejte znovu druhou metodou, je-li to možné. Pokud najdete chybu, poznamenejte si, o jaký typ se jedná (znaménko/aritmetika/pravidlo/přeskočená podmínka).
kontrolní seznam
- [ ] Řešení jsem vzal v očíslovaných krocích.
- [ ] Potvrdil jsem pravidlo použité v každém kroku.
- [ ] Ověřil jsem, že všechny nepředvídané události byly vyřešeny.
- [ ] Výsledek jsem zkontroloval inverzní operací (kontrolou).
- [ ] Pokud to bylo možné, porovnal jsem to s druhou metodou.
- [ ] Nezávisle jsem také ověřil „chyby“, které AI ukázala.