Nyereség:
- Képes a mesterséges intelligencia felhasználására a problémamegoldásban három különböző szerepkörben stratégiai tanácsadóként, megoldásgyártóként és megoldás-auditorként, mindegyik kockázati szintjének megfelelően.
- Lehetőség a megoldás minden lépésének szisztematikus ellenőrzésére számozással, szabálylekérdezéssel, aritmetikai ellenőrzéssel, ellenőrző összegekkel és minden eset felsorolásával.
- Legyen képes független módszerekkel ellenőrizni mind az eredményt, mind a megoldást, megértve, hogy a helyes eredmény nem jelenti a helyes utat.
A matematikai probléma megoldása egymáshoz kapcsolódó lépések láncolata; Ha a lánc bármely láncszeme megszakad, az eredmény érvénytelen. A mesterséges intelligencia nagyon jól képes gyorsan felépíteni ezt a láncot – de az emberen múlik, hogy figyelemmel kíséri a lánc erősségét. Ebben az egységben megtanulhatja, hogyan használhatja az AI-t problémamegoldó partnerként, és ami még fontosabb, hogyan kell szisztematikusan ellenőrizni minden egyes lépést. A cél az, hogy kihasználjuk az AI sebességét, miközben nem hagyunk ki hibákat.
Először is egy definíció: A lépésről lépésre történő ellenőrzés annak ellenőrzése, hogy a megoldás minden közbenső lépése egyenként helyes-e. A matematikában: "Helyes-e az eredmény?" A kérdés nem elég; – Minden közbenső lépés helyes? A kérdés lényeges. Mert néha a rossz lépések véletlenül vezetnek a megfelelő eredményhez (instabil megoldás), néha egy helyes stratégia egyetlen számtani hibája elrontja az eredményt.
Az AI három különböző szerepe a problémamegoldásban
Három különböző módon használhatja az AI-t a problémamegoldásban, és mindegyikhez más érvényesítés szükséges:
- Stratégiai tanácsadó: "Hogyan oldjam meg ezt a problémát?" Itt az AI egy módszert javasol. A kockázat kicsi, mert a számításokat maga végzi el.
- Megoldásgenerátor: "Oldja meg ezt a problémát." A kockázat nagy, mert a stratégia és a számítás is az MI-ből származik; Minden lépést felügyelni kell.
- Megoldásellenőrző: "Ellenőrizze a megoldásomat." Közepes kockázatú; A mesterséges intelligencia találhat hibákat, de olyan hibákat is előállíthat, amelyek nem léteznek, vagy hiányzik a valódi hiba.
A legbiztonságosabb megközelítés általában az 1. és a 3. kombinálása: szerezze be a stratégiát az MI-től, végezze el a számítást saját maga vagy a SymPy segítségével, majd végezze el az AI-ellenőrzést és a keresztellenőrzést.
Lépésről lépésre: hogyan ellenőrizheti a megoldást
1. Számozzon meg minden lépést. Ha számozott lépésekben kéri az AI-t a megoldásra, akkor azt mondhatja, hogy „Hiba történt a 3. lépésben”.
2. Minden lépésnél "melyik szabály?" uram. A mesterséges intelligencia írja le, hogy melyik algebrai szabályt, tételt vagy azonosságot használja az egyes lépésekben. Ha a szabály neve rossz, a lépés is kérdéses.
3. Ellenőrizd külön az aritmetikát. Még ha az algebrai logika helyes is, gyakoriak a számhibák. Tekintse át az összes összeadást, szorzást és előjelváltozást.
4. Próbálkozzon korlátokkal és kivételekkel. Tesztelje az eredményt egyszerű értékeken, például x=0, x=1. Ha a képlet ezeknél az értékeknél értelmetlen, akkor hiba van.
5. Menjen vissza fordítva. Ellenőrizzük a derivált eredményét integrálással, az egyenlet gyökerének behelyettesítésével, a faktorizáció visszaszorzásával.
6. Keresse a méret/egység konzisztenciát. Ha a mértékegységek nem adódnak össze az alkalmazott problémákban (pl. méterek és másodpercek összeadása), a képlet hibás.
Tipp: Az "ellenőrzés fordított művelettel" a matematika leghatékonyabb ellenőrző eszköze, és szinte ingyenes. Ha megtalálta az egyenlet gyökerét, cserélje be; Ha vett egy integrált, vegye a származékát; Ha faktorizálást végzett, szorozzon vissza. Ez a 30 másodperces ellenőrzés megakadályozza, hogy órákig téves irányt mutassunk.
A kiépítés ereje az AI-tól való függetlenségéből fakad. Amikor helyettesítünk egy gyökérrel, determinisztikus ellenőrzést végzünk, amely teljesen független attól, hogy az AI mit csinál a megoldási folyamatban: vagy teljesül az egyenlet, vagy nem, nincs közte. Ezért a hitelesítés sokkal értékesebb, mint az AI „sure, right” mondás; mert az AI megismételheti ugyanazt a hibát a saját megoldása érvényesítésekor, de a független ellenőrzés kívül esik ezen a cikluson. Ha két különböző, egymástól független módon (például helyettesítéssel és SymPy-vel) tud kritikus eredményt elérni, az önbizalma exponenciálisan növekszik.
A hibák osztályozása
Az alábbi táblázat összefoglalja a mesterséges intelligencia-megoldásokban leggyakrabban előforduló hibák típusait, valamint az egyes hibaelhárítási módokat.
Hiba típusa
példa
rögzítési útvonal
jel hiba
−(a−b) = −a−b írása
A nevem manuális megnyitása és ellenőrzése
számtani hiba
7×8 = 54
Megerősítés számológéppel/SymPy-val
rossz szabály
felejtsd el a láncszabályt
– Melyik szabály? megkérdezni
Mező/definíciós hiba
napló lekérése (negatív)
A domain ellenőrzése
Átugrott állapot
A <0 diszkrimináns figyelmen kívül hagyása
Sorolja fel az összes állapotot
Kitalált tétel
nem létező tételnév
Forrás megerősítése
három mini tok
1. eset – Jó eredmény, rossz út. Egy diák feltett egy határkérdést az AI-nak. Az AI az eredményt 3-nak találta – ami helyes volt –, de a közbenső lépésben a L'Hôpital-szabályt használta ott, ahol nem volt alkalmazható (0/0-s bizonytalanság nélkül). A tanuló megkérdezi: "melyik szabály vonatkozik és miért?" Amikor megkérdezték, az AI elfogadta a hibát, és a megfelelő módon ismét elérte a 3-at. Az eredmény ugyanaz volt, de az út nem volt szilárd; Az utat is pontozták a vizsgán.
2. eset – Kihagyott eset. Mérnök, |2x − 4| = 6 abszolút értékű egyenletet YZ oldott meg. YZ csak 2x − 4 = 6-ot oldott meg, és x = 5-öt adott; Kihagyta a 2x − 4 = −6 állapotot (x = −1). A mérnök megkérdezi, hogy "hány állapot van abszolút értékben?" Amikor megkérdeztem, megjelent a második gyökér. Mindkét gyök helyességét helyettesítés igazolta.
3. eset – A keresztellenőrzés 3 hibát talált. Egy tanár 10 lépéses trigonometrikus személyazonosság-igazolást csináltatott az MI-vel. Aztán lépésről lépésre összehasonlította ugyanazt a bizonyítást a SymPy egyszerűsítési funkciójával. Azt találta, hogy az AI 10 lépésből 3 lépésben helytelenül alkalmazta az identitást. Az ellenőrzés teljes ideje 12 perc; A megszerzett bizalom felbecsülhetetlen.
Négy másolható sablon
1) Számozott, szabály alapú megoldás:
Oldja meg ezt a problémát: [problem]. Írja meg a megoldást SZÁMOS lépésben! Minden lépésben adja meg a használt szabály/tétel nevét zárójelben. Ne hagyjon ki egyetlen lépést sem azzal, hogy „nyilvánvalóan” mondja; mutassa meg az egyes átmeneteket.
2) Ne kényszerítsen minden állapotot:
Oldja meg ezt a problémát: [problem]. Sorolja fel az ÖSSZES LEHETSÉGES esetet megoldáskor (pl. abszolút érték, másodfokú, tartományi kényszerek). Ne hagyjon ki egyetlen esetet sem; Ha kihagyja, indokolja meg, miért hagyta ki.
3) Rendelkezés kérése:
Ezt találta: [eredmény]. Most ELLENŐRIZZE ezt az eredményt a fordított művelettel: [differenciál / helyettesít / szoroz vissza]. Mutassa meg az ellenőrző összeg eredményét, és mondja meg, hogy összhangban van-e az eredeti problémával.
4) Hibaorientált vezérlés:
CSAK keresse a hibákat az alábbi megoldásban. Ellenőrizze az egyes lépéseket sorrendben; amikor megtalálta az első hibát, írja le, hogy melyik lépés, milyen típusú hiba (jel/számítás/szabály) és mi a helyes. Új megoldás létrehozása. Megoldás: [itt]
Gyenge felszólítás / Erős felszólítás
Gyenge: "X² − 5x + 6 = 0 megoldása."
Eredmény: "x = 2 és x = 3" — igaz lehet, de nem fogja észrevenni, ha a páratlan eset kimarad, vagy a faktorizálás rossz.
Erős: "Oldja meg az x² − 5x + 6 = 0 egyenletet mind a faktorálás, mind a diszkriminancia képlettel; mutassuk meg, hogy a két módszer ugyanazokat a gyökereket adja. Ezután adja meg mindegyik gyökérrel behelyettesítve őket az egyenletbe."
Eredmény: Két független módszer ellenőrzi egymást, biztosítva az eredmény pontosságát. Ha hiba történik, a két módszer ütközik, és azonnal látni fogja.
Gyakori hibák
- Csak nézzük az eredményt. A megfelelő eredmény nem jelent szilárd utat. Ellenőrizze az utat is.
- Kiépítés kihagyása. A 30 másodperces helyettesítési/visszaszármazékos ellenőrzés a legtöbb hibát észleli; Ne hanyagold el.
- Nem sorolom fel a helyzeteket. A leggyakoribb hibák az abszolút érték, a másodfokú, a gyökér és a tartományi kényszerek kihagyása.
- Bízva az AI-ban, hogy „nincs hiba”. Az auditor szerepét betöltő mesterséges intelligencia elmulaszthatja a valódi hibát; Az emberi szem elengedhetetlen a kritikus munkában.
- Megelégedni egy módszerrel. Ha lehetséges, oldja meg és hasonlítsa össze két független módszerrel.
Vigyázat: Amikor a mesterséges intelligencia ellenőrzi a megoldást, előfordulhat, hogy nem létező "hibát" okoz, és eltántorít a helyes megoldástól. Tehát amikor az AI hibát mutat, akkor azt is ellenőrizni kell, hogy a hiba valóban hiba-e. A könyvvizsgáló is tévedhet.
Összefoglalva
A problémamegoldásban az AI három szerepet tölt be: stratégiai tanácsadó, megoldásgenerátor, megoldás auditor. A legbiztonságosabb megközelítés az AI stratégiájának átvétele, független eszközökkel végzett számítások elvégzése, és minden lépés szisztematikus auditálása. Számozott lépések, "melyik szabály?" kérdés, ellenőrzőösszeg (inverz művelet), határesetek és az összes eset felsorolása a hibák elkapásának alapvető eszközei. A helyes eredmény nem jelent szilárd utat; Ellenőrizze az eredményt és az utat is.
Pályázati feladat
Válasszon másodfokú vagy abszolút értékű egyenletet. Oldja meg az YZ-t az 1. és 2. sablonnal. Ezután: (a) ellenőrizze, hogy az összes esetet lefedte-e, (b) biztosítsa az egyes gyökereket helyettesítéssel, (c) oldja meg és hasonlítsa össze újra egy második módszerrel, ha lehetséges. Ha hibát talál, jegyezze fel, hogy milyen típusú (jel/számítás/szabály/kihagyott feltétel).
ellenőrző lista
- [ ] Számozott lépésekben vettem a megoldást.
- [ ] Megerősítettem az egyes lépésekben használt szabályt.
- [ ] Ellenőriztem, hogy minden eshetőséget kezeltek.
- [ ] Az eredményt inverz művelettel (ellenőrzés) ellenőriztem.
- [ ] Ha lehetséges, összehasonlítottam egy második módszerrel.
- [ ] Függetlenül is ellenőriztem az AI által mutatott "hibákat".