Hagnaður:
- Geta til að greina hvar gervigreind sparar tíma í stærðfræðilegum verkefnum (áætlun, drög, klippingu) og hvar sannprófunar er krafist (nákvæmur útreikningur, réttmæti sönnunar) í samræmi við áhættustig
- Geta greint hvernig ofskynjanir verða til í stærðfræði (tilbúin setning, mistök, formúla sem ekki er til) og skilið hvers vegna mállíkan er ekki reiknivél
- Geta til að innleiða verkflæði sem athugar hverja framleiðslu með skref-fyrir-skref lausn, ákveðinni sannprófun á verkfærum og gagnprófunaraga.
Stærðfræði er svið þar sem eitt rangt tákn afsannar alla niðurstöðuna. Að gleyma mínusmerkinu í heild, sleppa „augljóslega“ skrefi í sönnun eða nota rangan veldisvísi í formúlu – allt ógildir niðurstöðuna algjörlega. Þess vegna krefst notkun gervigreindar (AI) í stærðfræði vandaðri aga en á mörgum öðrum sviðum. Í þessari einingu munum við kanna hvar verkfærin sem við köllum stórt tungumálalíkan (LLM - Large Language Model; tegund gervigreindar sem framleiðir texta með því að spá fyrir um tölfræði) spara í raun tíma í stærðfræðilegum verkefnum og hvar þau geta verið hættuleg; og þú munt læra hvernig á að sannreyna hvert framlag skref fyrir skref.
Í fyrsta lagi skýrt hugtak: Ofskynjanir er þegar gervigreind framleiðir upplýsingar sem eru í raun ekki sannar, með fullu öryggi, eins og þær væru sannar. Í stærðfræði kemur þetta í formi nafns á tilbúinni setningu, röngs algebruskrefs eða formúlu sem er ekki til. Aðalatriðið er þetta: LLM er ekki reiknivél. Það er textaframleiðandi sem spáir fyrir um „næst líklegasta orð“. Það framleiðir rétta stærðfræði oftast vegna þess að það hefur séð mikið af réttri stærðfræði í þjálfunargögnunum; en munurinn á "sannur oftast" og "sann allan tímann" er allt í stærðfræði.
Hvar virkar gervigreind í stærðfræði og hvar ekki?
Hugsaðu um gervigreind sem skynsamlegan teikningu og hugmyndafélaga: hratt en verður að vera staðfest. Eftirfarandi greinarmunur er burðarásin í þessari einingu.
Leit
Framlag gervigreindar
ábyrgð mannsins
Að finna leið til að leysa vandamál
Mælir með mismunandi lausnaaðferðum
Að velja og framkvæma rétta stefnu
Algebru/táknfræðileg reikningur
Myndar skissur, leysir jöfnur fljótt
Staðfestu hvert skref með SymPy eða handvirkt
sönnunardrög
Gefur ramma og hugmyndir
Athugaðu hvert rökrétt umskipti
tölulegur útreikningur
Skrifar Python kóða
Keyrðu kóðann og staðfestu niðurstöðuna
sjónræning
Býr til grafíkkóða
Að sjá línuritið endurspegla stærðfræði
Kynning á kennslustund/spurningum
Býr til skissu, sýnishorn, truflun
Staðfestu nákvæmni og kennslufræðilega viðeigandi
Sem þumalputtaregla: notaðu gervigreind til að finna og breyta leiðinni að reikningnum, ekki reikningnum sjálfum; Staðfestu alltaf niðurstöðuna með ákvörðunartæki (SymPy, reiknivél, handvirkt athugun). "Deterministic" þýðir hér "gefur alltaf sama og nákvæmlega rétta úttakið á sama inntakið"; Táknræn tölvusöfn eins og SymPy eru svona, LLM er það ekki.
Skref fyrir skref: öruggt verkflæði gervigreindar í stærðfræði
1. Skilgreindu vandamálið skýrt. Óljós spurning gefur óljóst svar. Í stað þess að „Metja þennan heila“, segðu „Leysið óákveðna heildina ∫ x·e^x dx skref fyrir skref með samþættingu að hluta og sýndu hvert skref.
2. Biddu um skref-fyrir-skref lausnir. Spyrðu gervigreindina um millistig, ekki bara niðurstöðuna. Skrefin eru eina leiðin til að ná villunni.
3. Staðfestu með óháðu tæki. Staðfestu táknrænu niðurstöðuna fyrir SymPy og tölulegu niðurstöðuna í útreikning. Þetta er meginreglan í þessari einingu.
4. Mótathugun. Taktu til baka niðurstöðu afleiðunnar með því að samþætta; skipta út rót jöfnunnar; athugaðu hvort líkur séu á milli 0 og 1. Stærðfræði er full af verkfærum til sjálfstjórnar.
5. Vertu efins. Þegar gervigreindin segir „þessi setning segir“, staðfestu nafn og fullyrðingu setningarinnar frá áreiðanlegri heimild. Tilbúin setningarnöfn eru algeng.
Ábending: Spyrðu hverja gervigreindarframleiðslu "hvernig get ég athugað þetta sjálfstætt?" Nálgun með spurningunni. Í stærðfræði hefur næstum sérhver niðurstaða leið til að sannreyna: afleiðu-heildarviðskipti, róttæk skipti, víddargreining, mörk tilvik. Ef þú finnur ekki staðfestingarleiðina skaltu ekki treysta niðurstöðunni.
þrjú smámál
Tilfelli 1 - Samsett setning. Kennari spyr gervigreind "með hvaða setningu sanna ég þennan ójöfnuð?" spurði hann. AI setti fram setningu sem ekki var til sem kallast „Hölmgren-Bernoulli ójöfnuður“ og bjó til sannfærandi yfirlýsingu. Þegar kennarinn leitaði að nafninu í stærðfræðiúrræði kom engin niðurstaða. Raunverulega lausnin var klassískt Cauchy-Schwarz misrétti. Týndur tími: 20 mínútur; En ef það væri ekki fyrir vaninn að athuga staðreyndir, væru rangar upplýsingar fluttar í fyrirlestri.
Tilvik 2 - Merkjavilla. Verkfræðinemi bað gervigreindina um niðurstöðuna ∫ (2x − 3) dx. YZ gaf x² − 3x + C (rétt) en í næsta skrefi, við útreikning á ákveðnu heildinni [0,2], skipti hann −3·2 út fyrir +6 og fékk −2 í stað 10. Nemandinn athugaði niðurstöðuna með því að taka afleiður; Hann náði mistökunum á 2 mínútum.
Mál 3 - Staðfesting fengin. Menntaskólakennari bað gervigreindina um að búa til annars stigs jöfnuspurningar fyrir 15 spurninga próf. Þrátt fyrir að mismunurinn hafi verið neikvæður í 2 af 15 spurningum gaf gervigreind „raunverulega rót“. Kennarinn leysti og bar saman allar spurningarnar með SymPy; Hann uppgötvaði og lagaði 2 villur á 5 mínútum. Án sannprófunar yrðu nemendur metnir með röngum svarlykli.
Fjögur afritanleg sniðmát
1) Skref fyrir skref og sannanleg lausn:
Þitt hlutverk: Stærðfræðiaðstoðarmaður. Leysið eftirfarandi vandamál SKREF fyrir skref:[vandamál]. Skrifaðu niður hvaða reglu/setningu þú notaðir í hverju skrefi. Í lokin, segðu mér í einni setningu hvernig ég get sannreynt niðurstöðuna sjálfstætt (t.d. afleiða/heildarandhverfa, rótskipti). Ef það er skref sem þú ert ekki viss um, merktu það sem "þetta skref verður að vera staðfest".
2) Staðfesting setninga/hugtaks:
Segðu mér frá [setning/hugtak]. Skrifaðu ALLA staðalsetningu setningarinnar, almennt heiti hennar ef einhver er og skilyrði hennar. Ef það er engin staðalsetning með því nafni, segðu beinlínis "þetta nafn er ekki staðlað" og ekki búa það til. Tilgreindu þau svæði sem þú ert ekki viss um.
3) Athuga eigin lausn:
Hér að neðan er lausnin mín. Athugaðu hvert skref, ef það er VILLA, sýndu í hvaða skrefi og hvers vegna; Ef það er rétt, segðu "þetta skref er rétt". Ekki skrifa nýja lausn; athugaðu bara skrefin mín. Lausnin mín: [hér]
4) Tillaga um stefnu (ekki reikningur):
Stingdu upp á 3 mismunandi AÐFERÐUM/aðferðum til að leysa eftirfarandi vandamál (ekki reikna). Skrifaðu kosti og galla hverrar aðferðar í einni setningu. Tilgreindu hver hentar best fyrir þetta vandamál og hvers vegna.
Veik kvaðning / Sterk kvaðning
Veikt: "Leysið þennan heila: ∫ x·sin(x) dx"
Niðurstaða: Einlínu svar; Engin millistig, engin sannprófun, engar villur er hægt að ná.
Sterkt: "Leysið óákveðna heildina ∫ x·sin(x) dx SKREF FYRIR SKEP með hlutasamþættingu. Sýnið valið á u og dv í hverju skrefi. Í lokin skal aðgreina niðurstöðuna og athuga og sýna hvort hún skilar sér í x·sin(x)."
Niðurstaðan: Endurskoðanleg skref, innbyggð sannprófun (afleidd bakskoðun) og getu til að sjá villuna.
Algeng mistök
- Að treysta útkomunni í blindni. Öruggur tónn LLM er engin trygging fyrir nákvæmni. Jafnvel sjálfsöruggasta setningin getur verið röng.
- Langar ekki í millistig. Þegar þú vilt aðeins niðurstöðuna verður ómögulegt að ná mistökunum.
- Ekki sannreyna með ákveðnum hætti. Ekki taka neinum niðurstöðum sem sjálfsögðum hlut án SymPy, reiknivélar eða handvirkrar gagnathugunar.
- Staðfestir ekki setningar/formúlanöfn. Tilbúin setningarnöfn eru skaðlegustu tegund ofskynjana.
- Ekki gefa samhengi. Ef ekki er minnst á stig nemandans og leyfilegar aðferðir (t.d. "að nota afleiður") leiðir til ónothæfra lausna.
Varúð: Vertu viss um að staðfesta AI framleiðsla áður en þú sendir það áfram til nemanda eða samstarfsmanns. Í stærðfræði skapa rangar upplýsingar keðju annarra villna þar til þær eru leiðréttar. Óstaðfest framleiðsla kemur aldrei í staðinn fyrir samþykki hæfrar manneskju.
Í stuttu máli
Gervigreind er öflugt yfirlits-, stefnu- og skipulagstæki í stærðfræði; en það er ekki reiknivél eða sönnunarprófari. Hættan á ofskynjunum er raunveruleg og ein lítil mistök í stærðfræði afsanna alla niðurstöðuna. Þannig að grunngreinin er skýr: leystu skref fyrir skref, sannreyndu með ákveðnum hætti, mótathugaðu, staðfestu setningar, vertu efins. Við munum dýpka þetta staðfestingarhugsjón í hverri einingu í þessari einingu.
Umsóknarverkefni
Veldu miðlungs erfitt stærðfræðidæmi af þínu sviði (heild, jöfnukerfi eða líkindaspurning). Láttu gervigreindina leysa skref fyrir skref með sniðmáti 1 hér að ofan. Staðfestu síðan niðurstöðuna á óháðan hátt (afleiðu-heildar andhverfa, róttæk skipti eða SymPy). Í að minnsta kosti einu skrefi, "Ég velti því fyrir mér hvort það gæti verið mistök hér?" Stöðvaðu og athugaðu. Skrifaðu niður niðurstöður þínar í 5-6 setningum: Hvar virkaði gervigreindin, hvar þurfti hún staðfestingu?
gátlisti
- [ ] Ég skilgreindi vandamálið skýrt og í samhengi.
- [ ] Ég bað AI um skref-fyrir-skref lausn, ekki bara niðurstöðuna.
- [ ] Ég staðfesti niðurstöðuna með deterministic tóli eða handvirkt.
- [ ] Ég hef gert að minnsta kosti eina gagnathugun (bakaðgreining, róttæk skipti, osfrv.).
- [ ] Ég hef staðfest umrædda setningu/formúlu frá áreiðanlegri heimild.
- [ ] Ég hef ekki sent neinar óstaðfestar niðurstöður áfram.