Dobici:
- Sposobnost korištenja umjetne inteligencije u rješavanju problema u tri različite uloge kao strateški konzultant, proizvođač rješenja i revizor rješenja, prikladno razini rizika svakog od njih.
- Sposobnost sustavne provjere svakog koraka rješenja numeriranjem, ispitivanjem pravila, aritmetičkom provjerom, kontrolnim zbrojevima i ispisivanjem svih slučajeva.
- Biti u mogućnosti provjeriti i rezultat i rješenje neovisnim metodama, shvaćajući da točan rezultat ne znači i točan 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 dobra u brzoj izgradnji ovog lanca — ali na ljudima je da prate snagu lanca. U ovoj jedinici naučit ćete kako koristiti AI kao partnera u rješavanju problema i, što je još važnije, kako sustavno kontrolirati svaki proizvedeni korak. Cilj je iskoristiti brzinu umjetne inteligencije i pritom ne propustiti nijednu pogrešku.
Prvo, definicija: provjera korak po korak je provjera je li svaki međukorak rješenja točan jedan po jedan. U matematici, "Je li rezultat točan?" Pitanje nije dovoljno; "Je li svaki međukorak ispravan?" Pitanje je bitno. Budući da ponekad krivi koraci slučajno dovedu do pravog rezultata (nestabilno rješenje), ponekad jedna jedina aritmetička pogreška u ispravnoj strategiji pokvari rezultat.
Tri različite uloge umjetne inteligencije u rješavanju problema
AI možete koristiti u rješavanju problema na tri različita načina, a svaki zahtijeva drugačiju provjeru valjanosti:
- Strateški konzultant: "Kako da riješim ovaj problem?" Ovdje AI predlaže metodu. Rizik je nizak jer sami radite izračune.
- Generator rješenja: "Riješi ovaj problem." Rizik je visok jer i strategija i izračun dolaze od umjetne inteligencije; 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 izmisliti greške koje ne postoje ili propustiti pravu grešku.
Najsigurniji pristup obično je kombinirati 1 i 3: preuzmite strategiju od umjetne inteligencije, napravite izračun sami ili pomoću SymPyja, zatim neka AI provjeri i unakrsno provjeri.
Korak po korak: kako provjeriti rješenje
1. Numerirajte svaki korak. Traženje rješenja od umjetne inteligencije u numeriranim koracima omogućuje vam da kažete: "Došlo je do pogreške u koraku 3."
2. Na svakom koraku "koje pravilo?" gospodine. Neka AI zapiše koje se algebarsko pravilo, teorem ili identitet koristi u svakom prolazu. Ako je naziv pravila pogrešan, korak je također upitan.
3. Posebno provjerite aritmetiku. Čak i ako je algebarska logika točna, greške u brojevima su česte. Pregledajte svako zbrajanje, množenje i promjenu predznaka.
4. Pokušajte s granicama i iznimkama. Testirajte rezultat na jednostavnim vrijednostima kao što su x=0, x=1. Ako je formula besmislena pri ovim vrijednostima, postoji pogreška.
5. Vratite se unatrag. Provjerite rezultat derivacije integracijom, zamjenom korijena jednadžbe, množenjem faktorizacije.
6. Potražite dosljednost 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 provjeru u matematici i gotovo je besplatan. Ako ste pronašli korijen jednadžbe, zamijenite ga; Ako ste uzeli integral, uzmite njegovu derivaciju; Ako ste faktorizirali, pomnožite. Ova provjera od 30 sekundi sprječava sate krivog smjera.
Snaga pružanja dolazi iz njegove neovisnosti o umjetnoj inteligenciji. Kada zamijenite korijen, napravite 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 provjera puno vrednija od toga da umjetna inteligencija kaže "naravno, točno"; jer AI može ponoviti istu pogrešku prilikom provjere vlastitog rješenja, ali neovisna provjera je izvan ove petlje. Kada možete isporučiti kritičan rezultat na dva različita neovisna načina (npr. oba zamjena i SymPy), vaše samopouzdanje eksponencijalno raste.
Klasifikacija grešaka
Tablica u nastavku sažima vrste pogrešaka koje najčešće vidite u AI rješenjima i način na koji možete uhvatiti svaku od njih.
Vrsta greške
primjer
uhvatiti put
pogreška znaka
Zapisivanje −(a−b) = −a−b
Ručno otvaranje i provjera mog imena
aritmetička pogreška
7×8 = 54
Potvrda kalkulatorom/SymPy
pogrešno pravilo
zaboravi pravilo lanca
"Koje pravilo?" pitati
Pogreška u polju/definiciji
dobiti dnevnik (negativan)
Provjera domene
Preskočen status
Ignoriranje diskriminacije < 0
Navedite sve statuse
Izmišljeni teorem
nepostojeći naziv teorema
Potvrda iz izvora
tri mini kućišta
Slučaj 1 — Ispravan rezultat, krivi put. Student je postavio AI ograničeno pitanje. AI je utvrdio da je rezultat 3 — što je bilo točno — ali u međukoraku je upotrijebio L'Hôpitalovo pravilo gdje se nije moglo primijeniti (bez nesigurnosti 0/0). Učenik pita "koje se pravilo primjenjuje i zašto?" Na upit, AI je prihvatio pogrešku i ponovno došao do 3 na ispravan način. Rezultat je bio isti, ali put nije bio čvrst; Putovanje se također bodovalo na ispitu.
Slučaj 2 — Izostavljeni slučaj. Inženjer, |2x − 4| = 6 jednadžbu apsolutne vrijednosti riješio je 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 ima stanja u apsolutnoj vrijednosti?" Kad sam pitao, pojavio se drugi korijen. Ispravnost obaju korijena potvrđena je zamjenom.
Slučaj 3 — Unakrsnom provjerom pronađene su 3 pogreške. Učitelj je vještačkoj inteligenciji dao trigonometrijski dokaz identiteta u 10 koraka. Zatim je usporedio isti dokaz korak po korak sa SymPyjevom funkcijom pojednostavljenja. Otkrio je da je umjetna inteligencija netočno primijenila identitet u 3 od 10 koraka. Ukupno vrijeme provjere 12 minuta; Dobiveno povjerenje je neprocjenjivo.
Četiri predloška za kopiranje
1) Numerirano rješenje temeljeno na pravilima:
Riješite ovaj problem: [problem]. Napiši rješenje u BROJENIM koracima. U svakom koraku u zagradi navedite naziv pravila/teorema koji ste koristili. Nemojte preskočiti nijedan korak govoreći "očito"; prikazati svaki prijelaz.
2) Nemojte forsirati sva stanja:
Riješite ovaj problem: [problem]. Navedite SVE MOGUĆE slučajeve pri rješavanju (npr. apsolutna vrijednost, kvadratna ograničenja, domenska ograničenja). Ne preskačite slučajeve; Ako ga preskočite, obrazložite zašto ste ga preskočili.
3) Traženje odredbe:
Našli ste: [rezultat]. Sada PROVJERITE ovaj rezultat inverznom operacijom: [diferencirati / zamijeniti / množiti natrag]. Pokažite rezultat kontrolnog zbroja i recite je li u skladu s izvornim problemom.
4) Kontrola usmjerena na pogreške:
SAMO potražite pogreške u donjem rješenju. Provjerite svaki korak redom; kada nađete prvu pogrešku, zapišite koji korak, koju vrstu pogreške (znak/aritmetika/pravilo) i koja je točna. Izrada novog rješenja. Rješenje: [ovdje]
Slab upit / Jak upit
Slab: "Riješi x² − 5x + 6 = 0."
Rezultat: "x = 2 i x = 3" — može biti točno, ali nećete primijetiti ako je neparan slučaj propušten ili je faktorizacija pogrešna.
Strong: "Riješite jednadžbu x² − 5x + 6 = 0 rastavljanjem na faktore i diskriminantnom formulom; pokažite da dvije metode daju iste korijene. Zatim navedite svaki korijen tako da ga zamijenite u jednadžbi."
Rezultat: Dvije neovisne metode provjeravaju jedna drugu, osiguravajući točnost rezultata. Ako postoji pogreška, dvije metode će se sukobiti i odmah ćete je vidjeti.
Uobičajene greške
- Samo gledam rezultat. Pravi rezultat ne znači čvrst put. Provjerite i cestu.
- Preskakanje dodjele. 30-sekundna provjera zamjene/povratne izvedenice otkriva većinu pogrešaka; Nemojte to zanemariti.
- Ne nabrajanje situacija. Izostavljanja apsolutne vrijednosti, ograničenja kvadrata, korijena i domene su najčešće pogreške.
- Vjerujući AI-u da kaže "nema grešaka". AI u ulozi auditora može promašiti pravu pogrešku; Ljudsko oko bitno je u kritičkom radu.
- Biti zadovoljan jednom metodom. Ako je moguće, riješite i usporedite pomoću dvije neovisne metode.
Oprez: kada umjetna inteligencija provjerava vaše rješenje, ponekad može napraviti nepostojeći "bug" i odgovoriti vas od vašeg ispravnog rješenja. Dakle, kada AI pokaže pogrešku, vi također provjeravate je li ta pogreška stvarno pogreška. Revizor također može pogriješiti.
Ukratko
U rješavanju problema AI igra tri uloge: strateški savjetnik, generator rješenja, revizor rješenja. Najsigurniji pristup je preuzeti strategiju iz umjetne inteligencije, napraviti izračune s neovisnim alatima i sustavno revidirati svaki korak. Numerirani koraci, "koje pravilo?" pitanje, kontrolni zbroj (inverzna operacija), granični slučajevi i popis svih slučajeva osnovni su alati za hvatanje pogrešaka. Pravi rezultat ne znači čvrst put; Provjerite i rezultat i put.
Zadatak aplikacije
Odaberite kvadratnu jednadžbu ili jednadžbu apsolutne vrijednosti. Riješite YZ s predlošcima 1 i 2. Zatim: (a) provjerite jesu li svi slučajevi pokriveni, (b) osigurajte svaki korijen zamjenom, (c) riješite i ponovno usporedite drugom metodom, ako je moguće. Ako pronađete grešku, zabilježite o kojoj je vrsti riječ (znak/aritmetika/pravilo/preskočeni uvjet).
popis za provjeru
- [ ] Rješenje sam preuzeo u numeriranim koracima.
- [ ] Potvrdio sam pravilo korišteno u svakom koraku.
- [ ] Potvrdio sam da su sve nepredviđene situacije riješene.
- [ ] Rezultat sam provjerio inverznom operacijom (provjerom).
- [ ] Ako je moguće, usporedio sam to s drugom metodom.
- [] Također sam neovisno potvrdio "pogreške" koje je AI pokazala.