Kasu:
- Oskus vastavalt riskitasemele eristada, kus tehisintellekt säästab aega matemaatilistes ülesannetes (strateegia, mustand, toimetamine) ja kus on vajalik kontrollimine (täpne arvutus, tõestuse kehtivus)
- Suuda ära tunda, kuidas hallutsinatsioonid matemaatikas tekivad (väljamõeldud teoreem, valesamm, olematu valem) ja mõista, miks keelemudel ei ole kalkulaator
- Võimalus rakendada töövoogu, mis kontrollib iga väljundit samm-sammult lahenduse, deterministliku tööriista kontrollimise ja vastukontrolli distsipliiniga.
Matemaatika on valdkond, kus üks vale märk kummutab kogu tulemuse. Miinusmärgi unustamine integraalis, tõestuses "ilmselgelt" sammu vahelejätmine või vale astendaja kasutamine valemis muudab tulemuse täielikult kehtetuks. Seetõttu nõuab tehisintellekti (AI) kasutamine matemaatikas hoolikamat distsipliini kui paljudes teistes valdkondades. Selles üksuses uurime, kus vahendid, mida me nimetame suureks keelemudeliks (LLM – Large Language Model; tehisintellekti tüüp, mis toodab teksti statistilise ennustamise teel) tegelikult säästavad aega matemaatiliste ülesannete täitmisel ja kus need võivad olla ohtlikud; ja saate teada, kuidas iga väljundit samm-sammult kontrollida.
Esiteks selge kontseptsioon: hallutsinatsioonid on siis, kui tehisintellekt toodab teavet, mis tegelikult ei vasta tõele, täie kindlustundega, nagu oleks see tõsi. Matemaatikas esineb see väljamõeldud teoreemi nime, vale algebralise sammu või valemi kujul, mida pole olemas. Kriitiline punkt on järgmine: LLM ei ole kalkulaator. See on tekstigeneraator, mis ennustab "järgmise kõige tõenäolisema sõna". See toodab enamiku ajast õiget matemaatikat, kuna on näinud treeningandmetes palju õiget matemaatikat; kuid erinevus "suurema osa ajast tõene" ja "kogu aeg tõene" on matemaatikas kõik.
Kus tehisintellekt matemaatikas töötab ja kus mitte?
Mõelge tehisintellektile kui intelligentsele projekti- ja ideepartnerile: kiire, kuid seda tuleb kontrollida. Järgmine eristus on selle mooduli selgroog.
Quest
AI panus
inimlik vastutus
Probleemi lahendamise viisi leidmine
Soovitab erinevaid lahendusstrateegiaid
Õige strateegia valimine ja rakendamine
Algebraline/sümboliarvutus
Loob visandeid, lahendab võrrandeid kiiresti
Kinnitage iga samm SymPy abil või käsitsi
tõendi mustand
Pakub raamistikku ja ideid
Iga loogilise ülemineku kontrollimine
numbriline arvutus
Kirjutab Pythoni koodi
Käivitage kood ja kinnitage tulemus
visualiseerimine
Loob graafikakoodi
Graafiku nägemine peegeldab matemaatikat
Õppetundide/küsimuste genereerimine
Loob visandi, näidise, segaja
Kinnitage täpsust ja pedagoogilist sobivust
Rusikareegel: kasutage AI-d konto tee leidmiseks ja muutmiseks, mitte konto enda jaoks; Kontrollige tulemust alati deterministliku tööriistaga (SymPy, kalkulaator, käsitsi kontroll). "Deterministlik" tähendab siin "annab samale sisendile alati sama ja täpselt õige väljundi"; Sümboolsed andmetöötlusteekid, nagu SymPy, on sellised, LLM mitte.
Samm-sammult: turvaline tehisintellekti töövoog matemaatikas
1. Määratlege probleem selgelt. Mitmetähenduslik küsimus toob kahemõttelise vastuse. Selle asemel, et „Hinda seda integraali”, öelge „Lahenda määramatu integraal ∫ x·e^x dx samm-sammult osalise integreerimise teel ja näidake iga sammu”.
2. Küsi samm-sammult lahendusi. Küsige AI-lt vaheetappe, mitte ainult tulemust. Sammud on ainus viis vea tabamiseks.
3. Kontrollige sõltumatu tööriistaga. Kinnitage sümboolne tulemus SymPy jaoks ja numbriline tulemus arvutusse. See on selle mooduli keskne põhimõte.
4. Vastukontroll. Võtke tuletise tulemus tagasi integreerimise teel; asendage võrrandi juur; kontrollige, kas tõenäosus on vahemikus 0 kuni 1. Matemaatika on täis enesekontrolli tööriistu.
5. Jää skeptiliseks. Kui AI ütleb "see teoreem ütleb", kinnitage teoreemi nimi ja väide usaldusväärsest allikast. Levinud on väljamõeldud teoreemide nimed.
Vihje: Küsige igalt AI väljundilt "kuidas ma saan seda iseseisvalt kontrollida?" Lähenege küsimusele. Matemaatikas on peaaegu igal tulemusel kontrollimise viis: tuletis-integraal vastupidine, radikaalasendus, dimensioonianalüüs, piirjuhtumid. Kui te ei leia kinnitusviisi, ärge usaldage tulemust.
kolm minikarpi
Juhtum 1 – väljamõeldud teoreem. Õpetaja küsib AI "millise teoreemiga ma seda ebavõrdsust tõestan?" küsis ta. AI pakkus välja olematu teoreemi nimega "Hölmgren-Bernoulli ebavõrdsus" ja tegi veenva väite. Kui õpetaja otsis nime matemaatikaallikast, ei tulnud ühtegi tulemust. Tegelik lahendus oli klassikaline Cauchy-Schwarzi ebavõrdsus. Kaotatud aeg: 20 minutit; Aga kui poleks faktide kontrollimise harjumust, edastataks loengus vale info.
Juhtum 2 – signaali viga. Inseneritudeng küsis tehisintellektilt tulemust ∫ (2x − 3) dx. YZ andis x² − 3x + C (õige), kuid järgmises etapis kindla integraali [0,2] arvutamisel asendas ta −3·2 +6-ga ja sai 10 asemel −2. Õpilane kontrollis tulemust tuletisi võttes; Ta tabas vea 2 minutiga.
Juhtum 3 – kinnitus saadud. Keskkooliõpetaja palus tehisintellektil genereerida ruutvõrrandi küsimused 15-küsimuselise eksami jaoks. Kuigi 15 küsimusest kahel oli diskriminant negatiivne, andis tehisintellekt "päris juure". Õpetaja lahendas ja võrdles kõiki küsimusi SymPyga; Ta avastas ja parandas 5 minuti jooksul 2 viga. Ilma kontrollimiseta hinnati õpilasi vale vastuse võtmega.
Neli kopeeritavat malli
1) Samm-sammult ja kontrollitav lahendus:
Sinu roll: matemaatika assistent. Lahendage samm-sammult järgmine probleem:[probleem]. Kirjutage üles, millist reeglit/teoreemi te igal etapil kasutasite. Lõpus öelge ühe lausega, kuidas ma saan tulemust iseseisvalt kontrollida (nt tuletis/integraal pöördväärtus, juurasendus). Kui on mõni samm, milles te pole kindel, märkige see kui "see samm tuleb kinnitada".
2) Teoreemi/kontseptsiooni kinnitus:
Räägi mulle [teoreem/kontseptsioon]. Kirjutage teoreemi standardlause TÄIS, selle üldnimetus, kui see on olemas, ja selle tingimused. Kui selle nime all pole standardset teoreemi, öelge selgesõnaliselt "see nimi pole standardne" ja ärge seda välja mõtlema. Märkige valdkonnad, milles te pole kindel.
3) Enda lahenduse kontrollimine:
Allpool on minu lahendus. Kontrollige iga sammu, kui on viga, näidake, millises etapis ja miks; Kui see on õige, öelge "see samm on õige". Ärge kirjutage uut lahendust; lihtsalt kontrollige minu samme. Minu lahendus: [siin]
4) Strateegia soovitus (mitte konto):
Soovitage 3 erinevat MEETODIT/strateegiat järgmise ülesande lahendamiseks (ärge arvutage). Kirjutage ühe lausega iga meetodi plussid ja miinused. Märkige, milline neist on selle probleemi jaoks kõige sobivam ja miks.
Nõrk viip / Tugev viip
Nõrk: "Lahendage see integraal: ∫ x·sin(x) dx"
Tulemus: üherealine vastus; Ei mingeid vahesamme, ei kontrolli ega vigu ei saa tabada.
Tugev: "Lahenda ebamäärane integraal ∫ x·sin(x) dx SAMM-HAALT osalise integreerimise teel. Näidake u ja dv valikut igal sammul. Lõpus eristage tulemus ning kontrollige ja näidake, kas see naaseb x·sin(x)-le."
Tulemus: Auditeeritavad sammud, sisseehitatud kontroll (tuletise tagasikontroll) ja võimalus näha viga.
Levinud vead
- Usaldades pimesi tulemust. LLM-i enesekindel toon ei garanteeri täpsust. Isegi kõige enesekindlam lause võib olla vale.
- Vahesammu ei taha. Kui tahad ainult tulemust, muutub vea tabamine võimatuks.
- Ei kontrollita deterministlike vahenditega. Ärge võtke ühtegi tulemust iseenesestmõistetavana ilma SymPy, kalkulaatori või käsitsi vastukontrollita.
- Ei kinnita teoreemide/valemite nimesid. Väljamõeldud teoreemide nimetused on hallutsinatsiooni kõige salakavalam liik.
- Konteksti ei anna. Õpilase taseme ja lubatud meetodite mainimata jätmine (nt "tuletiste kasutamine") toob kaasa kasutuskõlbmatud lahendused.
Ettevaatust. Enne õpilasele või kolleegile edastamist kontrollige kindlasti tehisintellekti väljundit. Matemaatikas loob ebaõige teave muude vigade ahela kuni parandamiseni. Kontrollimata väljund ei asenda kunagi pädeva inimese heakskiitu.
Kokkuvõttes
Tehisintellekt on matemaatikas võimas kontuuri-, strateegia- ja organiseerimisvahend; kuid see pole kalkulaator ega tõendite kontrollija. Hallutsinatsioonide oht on reaalne ja üks väike viga matemaatikas lükkab kogu järelduse ümber. Seega on põhidistsipliin selge: lahendage samm-sammult, kontrollige deterministlike vahenditega, kontrollige vastu, kinnitage teoreeme, jääge skeptiliseks. Me süvendame seda valideerimise mõtteviisi igas üksuses kogu selle mooduli jooksul.
Rakenduse ülesanne
Valige oma valdkonnast mõõdukalt raske matemaatikaülesanne (integraal, võrrandisüsteem või tõenäosusküsimus). Laske tehisintellektil ülaltoodud malli 1 abil samm-sammult lahendada. Seejärel kontrollige tulemust sõltumatul viisil (tuletise-integraali pöördväärtus, radikaalasendus või SymPy). Vähemalt ühes etapis: "Huvitav, kas siin võib viga olla?" Peatu ja kontrolli. Kirjutage oma leiud 5-6 lausega üles: Kus tehisintellekt töötas, kus see vajas kinnitamist?
kontrollnimekiri
- [ ] Määratlesin probleemi selgelt ja kontekstis.
- [ ] Küsisin tehisintellekti samm-sammult lahendust, mitte ainult tulemust.
- [ ] Kontrollisin tulemust deterministliku tööriistaga või käsitsi.
- [ ] Olen teinud vähemalt ühe vastukontrolli (tagasi eristamine, radikaalne asendamine jne).
- [ ] Olen nimetatud teoreemi/valemit usaldusväärsest allikast kinnitanud.
- [ ] Ma ei ole edastanud ühtegi kontrollimata tulemust.