Qligħ:
- Kapaċità li tuża intelliġenza artifiċjali fis-soluzzjoni tal-problemi fi tliet rwoli differenti bħala konsulent tal-istrateġija, produttur tas-soluzzjoni u awditur tas-soluzzjoni, xierqa għal-livell ta 'riskju ta' kull wieħed.
- Kapaċità li tiċċekkja b'mod sistematiku kull pass ta' soluzzjoni permezz ta' numerazzjoni, mistoqsija dwar ir-regoli, verifika aritmetika, checksums u lista tal-każijiet kollha.
- Li tkun kapaċi tivverifika kemm ir-riżultat kif ukoll is-soluzzjoni b'metodi indipendenti, li tifhem li r-riżultat korrett ma jfissirx it-triq it-tajba.
Is-soluzzjoni għal problema matematika hija katina ta 'passi interkonnessi; Jekk xi ħolqa fil-katina tinkiser, ir-riżultat huwa invalidu. L-AI hija tajba ħafna biex tibni din il-katina malajr — iżda huwa f'idejn il-bnedmin li jimmonitorjaw is-saħħa tal-katina. F'din l-unità, titgħallem kif tuża l-AI bħala sieħeb biex isolvi l-problemi u, aktar importanti, kif tikkontrolla b'mod sistematiku kull pass prodott. L-għan huwa li tieħu vantaġġ mill-veloċità tal-AI filwaqt li ma titlifx l-ebda żball.
L-ewwel, definizzjoni: Verifika pass pass qed tiċċekkja jekk kull pass intermedju ta 'soluzzjoni huwiex korrett wieħed wieħed. Fil-matematika, "Ir-riżultat huwa korrett?" Il-mistoqsija mhix biżżejjed; "Kull pass intermedju huwa korrett?" Il-mistoqsija hija essenzjali. Minħabba li kultant passi żbaljati jwasslu b'kumbinazzjoni għar-riżultat it-tajjeb (soluzzjoni instabbli), kultant żball aritmetiku wieħed fi strateġija korretta jħassru r-riżultat.
Tliet rwoli differenti tal-AI fis-soluzzjoni tal-problemi
Tista' tuża l-AI fis-soluzzjoni tal-problemi fi tliet modi differenti, u kull wieħed jeħtieġ validazzjoni differenti:
- Konsulent tal-istrateġija: "Kif nista' nsolvi din il-problema?" Hawnhekk, AI tissuġġerixxi metodu. Ir-riskju huwa baxx għax tagħmel il-kalkoli lilek innifsek.
- Ġeneratur tas-soluzzjoni: "Issolvi din il-problema." Ir-riskju huwa għoli għaliex kemm l-istrateġija kif ukoll il-kalkolu jiġu mill-AI; Kull pass għandu jkun sorveljat.
- Kontroll tas-soluzzjoni: "Iċċekkja s-soluzzjoni tiegħi." Huwa riskju medju; AI tista 'ssib bugs, iżda tista' wkoll tagħmel bugs li ma jeżistux jew jitilfu l-bug reali.
L-aktar approċċ sikur huwa ġeneralment li tgħaqqad 1 u 3: ikseb l-istrateġija mill-AI, agħmel il-kalkolu lilek innifsek jew ma 'SymPy, imbagħad agħmel il-kontroll tal-AI u l-kontroverifika.
Pass pass: kif tiċċekkja soluzzjoni
1. Innumera kull pass. Li titlob lill-AI għas-soluzzjoni f'passi nnumerati jippermettilek li mbagħad tgħid, "Hemm żball fil-pass 3."
2. F'kull pass "liema regola?" sinjur. Ħalli l-AI tikteb liema regola alġebrin, teorema, jew identità tintuża f'kull pass. Jekk l-isem tar-regola huwa ħażin, il-pass huwa wkoll dubjuż.
3. Iċċekkja l-aritmetika separatament. Anki jekk il-loġika alġebrin hija korretta, l-iżbalji tan-numri huma komuni. Irrevedi kull żieda, multiplikazzjoni, u bidla tas-sinjal.
4. Ipprova limiti u eċċezzjonijiet. Ittestja r-riżultat f'valuri sempliċi bħal x=0, x=1. Jekk il-formula hija bla sens f'dawn il-valuri, hemm żball.
5. Mur lura bil-maqlub. Iċċekkja r-riżultat tad-derivattiv billi tintegra, tissostitwixxi l-għerq tal-ekwazzjoni, timmultiplika l-fatturazzjoni lura.
6. Fittex għall-konsistenza tad-daqs/unità. Jekk l-unitajiet ma jammontawx fi problemi applikati (eż. żżid metri u sekondi), il-formula mhix korretta.
Tip: "Verifika b'operazzjoni inversa" hija l-aktar għodda ta 'verifika qawwija fil-matematika u hija kważi b'xejn. Jekk sibt l-għerq ta 'ekwazzjoni, ibdelha; Jekk ħadt integrali, ħu d-derivattiv tagħha; Jekk għamilt factorization, immoltiplika lura. Dan il-kontroll ta' 30 sekonda jipprevjeni sigħat ta' direzzjoni ħażina.
Is-setgħa tal-provvista ġejja mill-indipendenza tagħha mill-AI. Meta tissostitwixxi għerq, tagħmel kontroll deterministiku li huwa kompletament indipendenti minn dak li tagħmel l-AI fil-proċess tas-soluzzjoni: jew l-ekwazzjoni hija sodisfatta jew le, m'hemmx bejniethom. Huwa għalhekk li l-verifika hija ħafna aktar siewja mill-AI li tgħid "żgur, id-dritt"; minħabba li l-AI tista 'tirrepeti l-istess żball meta tivvalida s-soluzzjoni tagħha stess, iżda l-verifika indipendenti hija barra dan il-linja. Meta tista’ tagħti riżultat kritiku b’żewġ modi indipendenti differenti (eż. kemm sostituzzjoni kif ukoll SymPy), il-kunfidenza tiegħek tiżdied b’mod esponenzjali.
Klassifikazzjoni ta' żbalji
It-tabella hawn taħt tiġbor fil-qosor it-tipi ta 'żbalji li tara l-aktar fis-soluzzjonijiet tal-AI u l-mod kif taqbad kull wieħed.
Tip ta' żball
eżempju
mogħdija tal-qbid
żball tas-sinjal
Kitba −(a−b) = −a−b
Niftaħ u niċċekkja ismi manwalment
żball aritmetiku
7×8 = 54
Konferma bil-kalkulatur/SymPy
regola żbaljata
tinsa r-regola tal-katina
"Liema regola?" li jistaqsu
Żball fil-qasam/definizzjoni
tikseb log (negattiv)
Iċċekkjar tad-dominju
Status maqbuż
Injora diskriminanti < 0
Elenka l-istatus kollha
Teorema magħmula
isem teorema ineżistenti
Konferma mis-sors
tliet każijiet żgħar
Każ 1 — Riżultat it-tajjeb, triq ħażina. Student staqsa lill-AI mistoqsija limitu. L-AI sabet li r-riżultat kien 3 - li kien korrett - iżda fil-pass intermedju użat ir-regola ta 'L'Hôpital fejn ma setgħetx tiġi applikata (mingħajr l-inċertezza 0/0). L-istudent jistaqsi "liema regola tapplika u għaliex?" Meta mistoqsi, l-AI aċċetta l-iżball u reġgħet laħqet 3 bil-mod korrett. Ir-riżultat kien l-istess, imma t-triq ma kinitx soda; Il-vjaġġ kien ukoll skorjat fl-eżami.
Każ 2 — Każ barra. Inġinier, |2x − 4| = 6 ekwazzjoni ta' valur assolut ġiet solvuta minn YZ. YZ solvuta biss 2x − 4 = 6 u ta x = 5; Huwa qabeż l-istat 2x - 4 = -6 (x = -1). L-inġinier jistaqsi "kemm hemm stati f'valur assolut?" Meta staqsejt, deher it-tieni għerq. Il-korrettezza taż-żewġ għeruq ġiet ikkonfermata b'sostituzzjoni.
Każ 3 — Kontroverifika sabet 3 żbalji. Għalliem kellu l-AI tagħmel prova tal-identità trigonometrika f'10 passi. Imbagħad huwa qabbel l-istess prova pass pass mal-funzjoni ta 'simplifikazzjoni ta' SymPy. Huwa sab li l-AI applikat l-identità ħażin fi 3 minn 10 passi. Ħin totali tal-kontroll 12-il minuta; Il-fiduċja miksuba hija imprezzabbli.
Erba' mudelli li jistgħu jiġu kkupjati
1) Soluzzjoni numerata u bbażata fuq ir-regoli:
Issolvi din il-problema: [problema]. Ikteb is-soluzzjoni f'passi NUMRU. F'kull pass, għid l-isem tar-regola/teorema li użajt fil-parentesi. Taqbeż l-ebda pass billi tgħid "ovvjament"; uri kull transizzjoni.
2) Tisforzax l-istati kollha:
Issolvi din il-problema: [problema]. Elenka l-każijiet KOLLHA POSSIBBLI meta ssolvi (eż. valur assolut, kwadratiku, restrizzjonijiet tad-dominju). Taqbeż l-ebda każ; Jekk taqbeżha, iġġustifika għaliex qbiżtu.
3) Provvediment li jitlob:
Inti sibt: [riżultat]. Issa IVERIFIKA dan ir-riżultat bl-operazzjoni inversa:[differenzja / tissostitwixxi / immoltiplika lura]. Uri r-riżultat taċ-checksum u għid jekk huwiex konsistenti mal-problema oriġinali.
4) Kontroll orjentat lejn l-iżbalji:
BISS tfittex żbalji fis-soluzzjoni hawn taħt. Iċċekkja kull pass fl-ordni; meta ssib l-ewwel żball, ikteb liema pass, x’tip ta’ żball (sinjal/aritmetika/regola) u x’inhu t-tajjeb. Ħolqien ta' soluzzjoni ġdida.Soluzzjoni: [hawn]
Pront dgħajjef / Pront qawwi
Dgħajjef: "Issolvi x² − 5x + 6 = 0."
Riżultat: "x = 2 u x = 3" — jista 'jkun minnu, iżda ma tindunax jekk il-każ fard jintilef jew il-fatturizzazzjoni hijiex ħażina.
Qawwija: "Issolvi l-ekwazzjoni x² − 5x + 6 = 0 kemm bil-fatturazzjoni kif ukoll bil-formula diskriminanti; uri li ż-żewġ metodi jagħtu l-istess għeruq. Imbagħad ipprovdi kull għerq billi tissostitwiha fl-ekwazzjoni."
Riżultat: Żewġ metodi indipendenti jivverifikaw lil xulxin, u jiżguraw li r-riżultat ikun preċiż. Jekk ikun hemm żball, iż-żewġ metodi se jkunu f'kunflitt u taraha immedjatament.
Żbalji komuni
- Ħares biss lejn ir-riżultat. Ir-riżultat it-tajjeb ma jfissirx triq soda. Iċċekkja wkoll it-triq.
- Qbiż tal-forniment. Sostituzzjoni ta' 30 sekonda/kontroll tad-derivattiv lura jaqbad il-biċċa l-kbira tal-iżbalji; Tittraskurahx.
- Mhux jelenka sitwazzjonijiet. Omissjonijiet fil-valur assolut, kwadratiċi, għerq u restrizzjonijiet tad-dominju huma l-iżbalji l-aktar komuni.
- Fidu li l-AI tgħid "ebda bugs". AI fir-rwol ta 'awditur jistgħu jitilfu l-iżball reali; L-għajn tal-bniedem hija essenzjali fix-xogħol kritiku.
- Li tkun sodisfatt b'metodu wieħed. Jekk possibbli, issolvi u qabbel billi tuża żewġ metodi indipendenti.
Attenzjoni: Meta l-AI tiċċekkja s-soluzzjoni tiegħek, xi drabi tista' tagħmel "bug" ineżistenti u tiddisswadik mis-soluzzjoni korretta tiegħek. Allura meta l-AI turi żball, tivverifika wkoll jekk dak l-iżball huwiex verament żball. L-awditur jista’ wkoll ikun żbaljat.
Fil-qosor
Fis-soluzzjoni tal-problemi, l-AI għandha tliet rwoli: konsulent tal-istrateġija, ġeneratur tas-soluzzjoni, awditur tas-soluzzjoni. L-aktar approċċ sikur huwa li tieħu l-istrateġija mill-AI, tagħmel il-kalkoli b'għodod indipendenti, u tivverifika b'mod sistematiku kull pass. Passi numerati, "liema regola?" mistoqsija, checksum (operazzjoni inversa), każijiet limitu, u l-elenkar tal-każijiet kollha huma l-għodod bażiċi biex jinqabdu l-iżbalji. Ir-riżultat it-tajjeb ma jfissirx triq soda; Iċċekkja kemm ir-riżultat kif ukoll it-triq.
Kompitu ta' applikazzjoni
Agħżel ekwazzjoni kwadratika jew ekwazzjoni ta' valur assolut. Issolvi YZ bil-mudelli 1 u 2. Imbagħad: (a) iċċekkja li l-każijiet kollha jkunu ġew koperti, (b) tiżgura kull għerq billi tissostitwixxi, (c) issolvi u erġa' qabbel bit-tieni metodu, jekk possibbli. Jekk issib żball, innota x'tip huwa (sinjal/aritmetika/regola/kondizzjoni maqbuża).
lista ta' kontroll
- [ ] Ħadt is-soluzzjoni f'passi nnumerati.
- [ ] Ikkonfermajt ir-regola użata f'kull pass.
- [ ] Ivverifikajt li l-kontinġenzi kollha ġew indirizzati.
- [ ] Iċċekkja r-riżultat b'operazzjoni inversa (verifika).
- [ ] Jekk possibbli, qabbilha mat-tieni metodu.
- [ ] Ivverifikajt ukoll b'mod indipendenti l-"iżbalji" li wriet l-AI.