Dobici:
- Sposobnost korištenja umjetne inteligencije u rješavanju problema u tri različite uloge kao konsultant za strategiju, proizvođač rješenja i revizor rješenja, primjereno nivou rizika svake od njih.
- Sposobnost sistematske provjere svakog koraka rješenja numeriranjem, ispitivanjem pravila, aritmetičkom provjerom, kontrolnim zbrojima i popisom svih slučajeva.
- Biti u stanju provjeriti i rezultat i rješenje nezavisnim metodama, razumijevanje da tačan rezultat ne znači ispravan put.
Rješenje matematičkog problema je lanac međusobno povezanih koraka; Ako je bilo koja karika u lancu prekinuta, rezultat je nevažeći. AI je vrlo dobar u brzoj izgradnji ovog lanca — ali na ljudima je da prate snagu lanca. U ovoj jedinici ćete naučiti kako koristiti AI kao partnera u rješavanju problema i, što je još važnije, kako sistematski kontrolirati svaki napravljen korak. Cilj je iskoristiti brzinu AI, a da pritom ne propustite nijednu grešku.
Prvo, definicija: provjera korak po korak je provjera da li je svaki međukorak rješenja ispravan jedan po jedan. U matematici, "Da li je rezultat tačan?" Pitanje nije dovoljno; "Da li je svaki međukorak tačan?" Pitanje je suštinsko. Budući da ponekad pogrešni koraci slučajno dovedu do pravog rezultata (nestabilnog rješenja), ponekad samo jedna aritmetička greška u ispravnoj strategiji pokvari rezultat.
Tri različite uloge AI u rješavanju problema
AI možete koristiti u rješavanju problema na tri različita načina, a za svaki je potrebna drugačija validacija:
- Konsultant za strategiju: "Kako da riješim ovaj problem?" Ovdje AI predlaže metodu. Rizik je nizak jer sami izračunavate.
- Generator rješenja: "Riješi ovaj problem." Rizik je visok jer i strategija i proračun dolaze od AI; Svaki korak mora biti nadgledan.
- Provjera rješenja: "Provjeri moje rješenje." Srednji je rizik; AI može pronaći greške, ali također može napraviti greške koje ne postoje ili propuštaju pravu grešku.
Najsigurniji pristup je obično kombinirati 1 i 3: preuzmite strategiju od AI-a, izvršite proračun sami ili pomoću SymPyja, a zatim izvršite AI provjeru i unakrsnu provjeru.
Korak po korak: kako provjeriti rješenje
1. Označite svaki korak. Traženje od AI za rješenje u numeriranim koracima omogućava vam da zatim kažete: "Postoji greška u koraku 3."
2. U svakom koraku "koje pravilo?" gospodine. Neka AI zapiše koje se algebarsko pravilo, teorema ili identitet koristi u svakom prolazu. Ako je naziv pravila pogrešan, korak je također upitan.
3. Provjerite aritmetiku posebno. Čak i ako je algebarska logika ispravna, greške u broju su česte. Pregledajte svaki sabiranje, množenje i promjenu predznaka.
4. Isprobajte granice i izuzetke. Testirajte rezultat na jednostavnim vrijednostima kao što su x=0, x=1. Ako je formula besmislena pri ovim vrijednostima, postoji greška.
5. Vratite se unazad. Provjerite rezultat izvoda integracijom, zamjenom korijena jednadžbe, množenjem faktorizacije natrag.
6. Potražite konzistentnost veličine/jedinice. Ako se jedinice ne zbrajaju u primijenjenim problemima (npr. zbrajanje metara i sekundi), formula je netočna.
Savjet: "Provjera obrnutom operacijom" je najmoćniji alat za verifikaciju u matematici i gotovo je besplatan. Ako ste pronašli korijen jednadžbe, zamijenite ga; Ako ste uzeli integral, uzmite njegovu derivaciju; Ako ste uradili faktorizaciju, pomnožite natrag. Ova provjera od 30 sekundi sprječava sate u pogrešnom smjeru.
Moć obezbjeđivanja proizlazi iz njegove nezavisnosti od AI. Kada zamijenite korijen, vršite determinističku provjeru koja je potpuno neovisna o tome što AI radi u procesu rješavanja: ili je jednadžba zadovoljena ili nije, nema između. Zato je verifikacija mnogo vrednija od veštačke inteligencije koja kaže "naravno, tačno"; jer AI može ponoviti istu grešku prilikom validacije vlastitog rješenja, ali nezavisna verifikacija je izvan ove petlje. Kada možete dati kritičan rezultat na dva različita nezavisna načina (npr. i zamjena i SymPy), vaše samopouzdanje raste eksponencijalno.
Klasifikacija grešaka
Tabela u nastavku rezimira tipove grešaka koje najčešće vidite u AI rješenjima i način da ih uhvatite.
Vrsta greške
primjer
hvatanje putanje
greška u znaku
Pisanje −(a−b) = −a−b
Otvaram i provjeravam svoje ime ručno
aritmetička greška
7×8 = 54
Potvrda kalkulatorom/SymPy
pogrešno pravilo
zaboravite pravilo lanca
"Koje pravilo?" pitati
Greška u polju/definiciji
dobiti zapisnik (negativan)
Provjera domene
Status preskočenog
Zanemarivanje diskriminanta < 0
Navedite sve statuse
Izmišljena teorema
naziv nepostojeće teoreme
Potvrda iz izvora
tri mini kofera
Slučaj 1 — Pravi rezultat, pogrešan put. Student je postavio AI ograničeno pitanje. AI je pronašao rezultat kao 3 — što je bilo tačno — ali je u srednjem koraku koristio L'Hôpitalovo pravilo gdje se ono nije moglo primijeniti (bez nesigurnosti 0/0). Učenik pita "koje se pravilo primjenjuje i zašto?" Kada je upitan, AI je prihvatio grešku i ponovo došao do 3 na ispravan način. Rezultat je bio isti, ali put nije bio čvrst; Putovanje je takođe bodovano na ispitu.
Slučaj 2 — Izostavljen slučaj. Inženjer, |2x − 4| = 6 jednačina apsolutne vrijednosti je riješena YZ. YZ je riješio samo 2x − 4 = 6 i dao x = 5; Preskočio je stanje 2x − 4 = −6 (x = −1). Inženjer pita "koliko država postoji u apsolutnoj vrijednosti?" Kada sam pitao, pojavio se drugi korijen. Ispravnost oba korijena potvrđena je zamjenom.
Slučaj 3 — Unakrsnom provjerom pronađene su 3 greške. Učitelj je dao AI da izvrši trigonometrijski dokaz identiteta u 10 koraka. Zatim je uporedio isti dokaz korak po korak sa SymPy-jevom funkcijom pojednostavljenja. Otkrio je da je AI pogrešno primijenio identitet u 3 od 10 koraka. Ukupno vrijeme provjere 12 minuta; Dobijeno povjerenje je neprocjenjivo.
Četiri šablona za kopiranje
1) Numerirano rješenje zasnovano na pravilima:
Riješite ovaj problem: [problem]. Napišite rješenje u BROJ koraka. U svakom koraku navedite naziv pravila/teoreme koju ste koristili u zagradama. Nemojte preskočiti nijedan korak govoreći "očigledno"; prikaži svaki prelaz.
2) Nemojte forsirati sva stanja:
Riješite ovaj problem: [problem]. Navedite SVE MOGUĆE slučajeve prilikom rješavanja (npr. apsolutna vrijednost, kvadratna, ograničenja domena). Nemojte preskočiti nijedan slučaj; Ako ga preskočite, obrazložite zašto ste ga preskočili.
3) Traženje obezbjeđenja:
Našli ste: [rezultat]. Sada PROVERITE ovaj rezultat inverznom operacijom: [diferencijacija / zamena / množenje nazad]. Prikažite rezultat kontrolne sume i recite da li je u skladu s originalnim problemom.
4) Kontrola usmjerena na greške:
SAMO potražite greške u donjem rješenju. Provjerite svaki korak po redu; kada pronađete prvu grešku, zapišite koji korak, koju vrstu greške (znak/aritmetička/pravilo) i koja je ispravna. Kreiranje novog rješenja. Rješenje: [ovdje]
Slaba prompt / Jaka prompt
Slabo: "Riješi x² − 5x + 6 = 0."
Rezultat: "x = 2 i x = 3" — može biti tačno, ali nećete primijetiti ako je neparan slučaj propušten ili je faktorizacija pogrešna.
Snažan: "Riješi jednačinu x² − 5x + 6 = 0 i faktoringom i diskriminantnom formulom; pokaži da dvije metode daju iste korijene. Zatim daj svaki korijen zamjenom u jednadžbu."
Rezultat: Dvije nezavisne metode verificiraju jedna drugu, osiguravajući da je rezultat tačan. Ako postoji greška, dvije metode će se sukobiti i vidjet ćete je odmah.
Uobičajene greške
- Samo gledam rezultat. Pravi rezultat ne znači čvrst put. Također provjerite put.
- Preskakanje provizije. 30-sekundna provjera zamjene/povratne izvedenice hvata većinu grešaka; Nemojte to zanemariti.
- Ne navodim situacije. Izostavljanja apsolutne vrijednosti, kvadratnog, korijenskog i domenskog ograničenja su najčešće greške.
- Vjerovati AI da kaže "bez grešaka". AI u ulozi revizora može propustiti pravu grešku; Ljudsko oko je neophodno u kritičkom radu.
- Biti zadovoljan jednom metodom. Ako je moguće, riješite i uporedite koristeći dvije nezavisne metode.
Oprez: Kada AI provjeri vaše rješenje, ponekad može napraviti nepostojeću "bug" i odvratiti vas od vašeg ispravnog rješenja. Dakle, kada AI pokaže grešku, vi također provjerite da li je ta greška zaista greška. Revizor također može pogriješiti.
Ukratko
U rješavanju problema AI igra tri uloge: savjetnik za strategiju, generator rješenja, revizor rješenja. Najsigurniji pristup je preuzeti strategiju od AI, izvršiti proračune nezavisnim alatima i sistematski revidirati svaki korak. Brojčani koraci, "koje pravilo?" pitanje, kontrolni zbir (inverzna operacija), granični slučajevi i listanje svih slučajeva su osnovni alati za hvatanje grešaka. Pravi rezultat ne znači čvrst put; Provjerite i rezultat i putanju.
Zadatak aplikacije
Odaberite kvadratnu jednačinu ili jednačinu apsolutne vrijednosti. Rješite YZ sa šablonima 1 i 2. Zatim: (a) provjerite da li su svi slučajevi pokriveni, (b) osigurajte svaki korijen zamjenom, (c) riješite i uporedite ponovo drugom metodom, ako je moguće. Ako pronađete grešku, zabilježite koji je tip (znak/aritmetika/pravilo/preskočeno stanje).
kontrolna lista
- [ ] Rješenje sam uzeo u numeriranim koracima.
- [ ] Potvrdio sam pravilo korišteno u svakom koraku.
- [ ] Potvrdio sam da su sve nepredviđene situacije riješene.
- [ ] Provjerio sam rezultat inverznom operacijom (provjeravanjem).
- [ ] Ako je moguće, uporedio sam ga sa drugom metodom.
- [ ] Također sam nezavisno provjerio "greške" koje je AI pokazao.