Fitimet:
- Aftësia për të dalluar se ku inteligjenca artificiale kursen kohë në detyrat matematikore (strategji, draft, redaktim) dhe ku kërkohet verifikimi (llogaritja e saktë, vlefshmëria e provës) sipas nivelit të rrezikut
- Të jetë në gjendje të dallojë se si lind halucinacioni në matematikë (teorema e krijuar, hapi i gabuar, formula joekzistente) dhe të kuptojë pse një model gjuhësor nuk është një kalkulator
- Aftësia për të zbatuar një rrjedhë pune që kontrollon çdo rezultat me një zgjidhje hap pas hapi, verifikim përcaktues të mjeteve dhe disiplinë kundërkontrolluese.
Matematika është një fushë ku një shenjë e gabuar hedh poshtë të gjithë rezultatin. Harrimi i shenjës minus në një integral, anashkalimi i një hapi "të qartë" në një provë, ose përdorimi i një eksponenti të pasaktë në një formulë - të gjitha e zhvlerësojnë plotësisht rezultatin. Kjo është arsyeja pse përdorimi i inteligjencës artificiale (AI) në matematikë kërkon disiplinë më të kujdesshme sesa në shumë fusha të tjera. Në këtë njësi, ne do të shqyrtojmë se ku kursejnë kohë në detyrat matematikore mjetet që ne i quajmë modeli i madh i gjuhës (LLM - Large Language Model; një lloj inteligjence artificiale që prodhon tekst duke parashikuar statistikisht) dhe ku mund të jenë të rrezikshme; dhe do të mësoni se si të verifikoni çdo dalje hap pas hapi.
Së pari, një koncept i qartë: Halucinacioni është kur AI prodhon informacion që në fakt nuk është i vërtetë, me besim të plotë, sikur të ishte i vërtetë. Në matematikë, kjo vjen në formën e emrit të një teoreme të krijuar, një hapi të gabuar algjebrik ose një formule që nuk ekziston. Pika kritike është kjo: LLM nuk është një kalkulator. Është një gjenerues teksti që parashikon "fjalën e ardhshme më të mundshme". Ai prodhon matematikë të saktë shumicën e kohës sepse ka parë shumë matematikë të saktë në të dhënat e trajnimit; por ndryshimi midis "e vërtetë shumicën e kohës" dhe "e vërtetë gjatë gjithë kohës" është gjithçka në matematikë.
Ku funksionon inteligjenca artificiale në matematikë dhe ku jo?
Mendoni për AI si një projekt inteligjent dhe partner ideje: i shpejtë, por duhet verifikuar. Dallimi i mëposhtëm është shtylla kurrizore e këtij moduli.
Kërkimi
Kontributi i AI
përgjegjësia njerëzore
Gjetja e një mënyre për të zgjidhur një problem
Rekomandon strategji të ndryshme zgjidhjeje
Zgjedhja dhe zbatimi i strategjisë së duhur
Llogaritja algjebrike/simbolike
Gjeneron skica, zgjidh shpejt ekuacionet
Vërtetoni çdo hap me SymPy ose manualisht
draft provë
Ofron kornizë dhe ide
Kontrollimi i çdo tranzicioni logjik
llogaritja numerike
Shkruan kodin Python
Drejtoni kodin dhe konfirmoni rezultatin
vizualizimi
Gjeneron kodin grafik
Duke parë grafikun pasqyron matematikën
Gjenerimi i mësimit/pyetjeve
Gjeneron skicë, mostër, shpërqendrues
Konfirmoni saktësinë dhe përshtatshmërinë pedagogjike
Si rregull: përdorni AI për të gjetur dhe modifikuar rrugën drejt llogarisë, jo vetë llogarinë; Gjithmonë verifikoni rezultatin me një mjet përcaktues (SymPy, kalkulator, kontroll manual). "Determinist" këtu do të thotë "gjithmonë jep të njëjtin rezultat dhe saktësisht të saktë të njëjtin input"; Bibliotekat simbolike kompjuterike si SymPy janë të tilla, LLM nuk është.
Hap pas hapi: rrjedha e sigurt e punës e AI në matematikë
1. Përcaktoni qartë problemin. Një pyetje e paqartë sjell një përgjigje të paqartë. Në vend të "Vlerëso këtë integral", thuaj "Zgjidh integralin e pacaktuar ∫ x·e^x dx hap pas hapi me integrim të pjesshëm dhe trego çdo hap".
2. Kërkoni zgjidhje hap pas hapi. Kërkoni nga AI për hapat e ndërmjetëm, jo vetëm rezultatin. Hapat janë mënyra e vetme për të kapur gabimin.
3. Verifiko me mjet të pavarur. Vërtetoni rezultatin simbolik në SymPy dhe rezultatin numerik në një llogaritje. Ky është parimi qendror i këtij moduli.
4. Kundërkontrolli. Merr përsëri rezultatin e derivatit duke integruar; zëvendësoni rrënjën e ekuacionit; kontrolloni nëse një probabilitet është midis 0 dhe 1. Matematika është plot me mjete për vetëkontroll.
5. Qëndroni skeptik. Kur AI thotë "thotë kjo teoremë", konfirmoni emrin dhe deklaratën e teoremës nga një burim i besueshëm. Emrat e teoremave të krijuara janë të zakonshme.
Këshillë: Pyetni çdo dalje të AI "si mund ta kontrolloj këtë në mënyrë të pavarur?" Qasja me pyetjen. Në matematikë, pothuajse çdo rezultat ka një mënyrë verifikimi: konversi derivat-integral, zëvendësimi radikal, analiza dimensionale, rastet kufitare. Nëse nuk mund ta gjeni mënyrën e verifikimit, mos i besoni rezultatit.
tre mini kuti
Rasti 1 - Teorema e krijuar. Një mësues pyet AI "me çfarë teoreme e vërtetoj këtë pabarazi?" pyeti ai. AI propozoi një teoremë inekzistente të quajtur "pabarazia Hölmgren-Bernoulli" dhe bëri një deklaratë bindëse. Kur mësuesi kërkoi emrin në një burim matematikore, nuk doli asnjë rezultat. Zgjidhja e vërtetë ishte pabarazia klasike Cauchy-Schwarz. Koha e humbur: 20 minuta; Por nëse nuk do të ishte zakoni i kontrollit të fakteve, në një leksion do të përcilleshin informacione të pasakta.
Rasti 2 - Gabim sinjali. Një student i inxhinierisë pyeti AI për rezultatin ∫ (2x − 3) dx. YZ dha x² − 3x + C (e saktë), por në hapin tjetër, kur njehsonte integralin e caktuar [0,2], zëvendësoi −3·2 me +6 dhe mori −2 në vend të 10. Nxënësi kontrolloi rezultatin duke marrë derivate; Ai e kapi gabimin në 2 minuta.
Rasti 3 — Konfirmimi i fituar. Një mësues i shkollës së mesme i kërkoi AI të gjeneronte pyetje të ekuacionit kuadratik për një provim me 15 pyetje. Megjithëse diskriminuesi ishte negativ në 2 nga 15 pyetjet, AI dha një "rrënjë të vërtetë". Mësuesi zgjidhi dhe krahasoi të gjitha pyetjet me SymPy; Ai zbuloi dhe rregulloi 2 gabime në 5 minuta. Pa verifikim, studentët do të vlerësoheshin me çelësin e përgjigjes së gabuar.
Katër shabllone të kopjueshëm
1) Zgjidhje hap pas hapi dhe e verifikueshme:
Roli juaj: asistent matematike. Zgjidheni problemin e mëposhtëm HAPI PA HAPI:[problem]. Shkruani se cilën rregull/teoremë keni përdorur në çdo hap. Në fund, më tregoni me një fjali se si mund ta verifikoj rezultatin në mënyrë të pavarur (p.sh. inversi i derivatit/integralit, zëvendësimi i rrënjës). Nëse ka një hap për të cilin nuk jeni të sigurt, shënojeni si "ky hap duhet të verifikohet".
2) Konfirmimi i teoremës/konceptit:
Më trego për [teoremën/konceptin]. Shkruani deklaratën standarde FULL të teoremës, emrin e saj të zakonshëm nëse ka dhe kushtet e saj. Nëse nuk ka një teoremë standarde me atë emër, thuani në mënyrë eksplicite "ky emër nuk është standard" dhe mos e krijoni atë. Tregoni fushat për të cilat nuk jeni të sigurt.
3) Kontrollimi i zgjidhjes sime:
Më poshtë është zgjidhja ime. Kontrolloni çdo hap, nëse ka një GABIM, tregoni në cilin hap dhe pse; Nëse është e saktë, thoni "ky hap është i saktë". Mos shkruani një zgjidhje të re; thjesht kontrolloni hapat e mi. Zgjidhja ime: [këtu]
4) Sugjerimi i strategjisë (jo llogari):
Sugjeroni 3 METODA/strategji të ndryshme për të zgjidhur problemin e mëposhtëm (mos llogarisni). Shkruani të mirat dhe të këqijat e secilës metodë në një fjali. Tregoni se cila është më e përshtatshme për këtë problem dhe pse.
Prompt i dobët / Prompt i fortë
I dobët: "Zgjidhni këtë integral: ∫ x·sin(x) dx"
Rezultati: Një përgjigje me një rresht; Asnjë hap i ndërmjetëm, asnjë verifikim, asnjë gabim nuk mund të kapet.
E fortë: "Zgjidhni integralin e pacaktuar ∫ x·sin(x) dx HAPA PA HAPI me integrim të pjesshëm. Tregoni zgjedhjen e u dhe dv në çdo hap. Në fund, dalloni rezultatin dhe kontrolloni dhe tregoni nëse ai kthehet në x·sin(x)."
Rezultati: Hapat e auditueshëm, verifikimi i integruar (backcheck derivati) dhe aftësia për të parë gabimin.
Gabimet e zakonshme
- Duke besuar verbërisht rezultatin. Toni i sigurt i LLM nuk është garanci për saktësinë. Edhe fjalia që duket më e sigurt mund të jetë e gabuar.
- Duke mos dashur një hap të ndërmjetëm. Kur doni vetëm rezultatin, bëhet e pamundur të kapni gabimin.
- Mos verifikimi me mjete përcaktuese. Mos e merrni si të mirëqenë asnjë rezultat pa SymPy, një kalkulator ose një kundër-kontroll manual.
- Nuk konfirmon emrat e teoremave/formulave. Emrat e teoremave të krijuara janë lloji më tinëzar i halucinacioneve.
- Duke mos dhënë kontekst. Mos përmendja e nivelit të studentit dhe metodave të lejuara (p.sh. "përdorimi i derivateve") rezulton në zgjidhje të papërdorshme.
Kujdes: Sigurohuni që të verifikoni rezultatin e AI përpara se t'ia kaloni atë një studenti ose kolegu. Në matematikë, informacioni i pasaktë krijon një zinxhir gabimesh të tjera derisa të korrigjohen. Prodhimi i paverifikuar nuk është kurrë një zëvendësim për miratimin nga një qenie njerëzore kompetente.
Në përmbledhje
Inteligjenca artificiale është një skicë, strategji dhe mjet organizimi i fuqishëm në matematikë; por nuk është një kalkulator apo kontrollues provash. Rreziku i halucinacioneve është real dhe një gabim i vogël në matematikë hedh poshtë të gjithë përfundimin. Pra, disiplina bazë është e qartë: zgjidh hap pas hapi, verifiko me mjete përcaktuese, kundërkontroll, konfirmo teoremat, qëndro skeptik. Ne do ta thellojmë këtë mentalitet të vlefshmërisë në çdo njësi përgjatë këtij moduli.
Detyra e aplikimit
Zgjidhni një problem matematikor mesatarisht të vështirë nga fusha juaj (një integral, një sistem ekuacionesh ose një pyetje probabiliteti). Bëni që AI të zgjidhet hap pas hapi me shabllonin 1 më sipër. Pastaj verifikoni rezultatin në një mënyrë të pavarur (inversi derivat-integral, zëvendësimi radikal ose SymPy). Në të paktën një hap, "Pyes veten nëse mund të ketë një gabim këtu?" Ndaloni dhe kontrolloni. Shkruani gjetjet tuaja në 5-6 fjali: Ku funksionoi AI, ku kishte nevojë për vërtetim?
listë kontrolli
- [ ] Unë e përcaktova problemin qartë dhe në kontekst.
- [ ] I kërkova AI për një zgjidhje hap pas hapi, jo vetëm rezultatin.
- [ ] E verifikova rezultatin me një mjet përcaktues ose me dorë.
- [ ] Unë kam bërë të paktën një kundërkontroll (diferencim prapa, zëvendësim radikal, etj.).
- [ ] Unë e kam konfirmuar teoremën/formulën e përmendur nga një burim i besueshëm.
- [ ] Nuk kam kaluar asnjë rezultat të paverifikuar.