Ieguvumi:
- Spēja pēc riska līmeņa atšķirt, kur mākslīgais intelekts ietaupa laiku matemātiskajos uzdevumos (stratēģija, melnraksts, rediģēšana) un kur nepieciešama pārbaude (precīzs aprēķins, pierādījumu derīgums)
- Spēt atpazīt, kā matemātikā rodas halucinācijas (izdomāta teorēma, kļūda, neeksistējoša formula) un saprast, kāpēc valodas modelis nav kalkulators
- Spēja ieviest darbplūsmu, kas pārbauda katru izvadi, izmantojot soli pa solim risinājumu, deterministisku rīku pārbaudi un pretpārbaudes disciplīnu.
Matemātika ir joma, kurā viena nepareiza zīme atspēko visu rezultātu. Aizmirstot mīnusa zīmi integrālī, izlaižot "acīmredzami" soli pierādījumā vai izmantojot formulā nepareizu eksponentu — tas viss pilnībā padara rezultātu nederīgu. Tāpēc mākslīgā intelekta (AI) izmantošana matemātikā prasa rūpīgāku disciplīnu nekā daudzās citās jomās. Šajā nodaļā mēs pārbaudīsim, kur rīki, kurus mēs saucam par lielo valodu modeli (LLM — Large Language Model; mākslīgā intelekta veids, kas veido tekstu, statistiski prognozējot), faktiski ietaupa laiku matemātiskos uzdevumos un kur tie var būt bīstami; un jūs uzzināsit, kā soli pa solim pārbaudīt katru izvadi.
Pirmkārt, skaidrs jēdziens: halucinācijas ir tad, kad AI rada informāciju, kas patiesībā nav patiesa, ar pilnu pārliecību, it kā tā būtu patiesa. Matemātikā tas izpaužas kā izdomātas teorēmas nosaukums, nepareizs algebriskais solis vai formula, kas neeksistē. Kritiskais punkts ir šāds: LLM nav kalkulators. Tas ir teksta ģenerators, kas paredz "nākamo visticamāko vārdu". Lielāko daļu laika tas rada pareizu matemātiku, jo apmācības datos ir redzēts daudz pareizas matemātikas; bet atšķirība starp "lielāko daļu laika patiesa" un "patiesa visu laiku" ir viss matemātikā.
Kur mākslīgais intelekts darbojas matemātikā un kur ne?
Domājiet par AI kā inteliģentu projektu un ideju partneri: ātri, taču tas ir jāpārbauda. Sekojoša atšķirība ir šī moduļa pamats.
Meklējumi
AI ieguldījums
cilvēka atbildība
Meklējot veidu, kā atrisināt problēmu
Iesaka dažādas risinājumu stratēģijas
Pareizās stratēģijas izvēle un īstenošana
Algebriskais/simboliskais aprēķins
Ģenerē skices, ātri atrisina vienādojumus
Apstipriniet katru darbību ar SymPy vai manuāli
pierādījuma melnraksts
Nodrošina ietvaru un idejas
Katras loģiskās pārejas pārbaude
skaitliskais aprēķins
Raksta Python kodu
Palaidiet kodu un apstipriniet rezultātu
vizualizācija
Ģenerē grafikas kodu
Redzot diagrammu, tiek atspoguļota matemātika
Nodarbības/jautājuma ģenerēšana
Ģenerē skici, paraugu, izkliedētāju
Apstiprināt precizitāti un pedagoģisko piemērotību
Kā īkšķis: izmantojiet AI, lai atrastu un rediģētu ceļu uz kontu, nevis pašu kontu; Vienmēr pārbaudiet rezultātu ar deterministisku rīku (SymPy, kalkulators, manuāla pārbaude). "Deterministisks" šeit nozīmē "vienmēr dod to pašu un precīzi pareizu izvadi vienai un tai pašai ievadei"; Simboliskās skaitļošanas bibliotēkas, piemēram, SymPy, ir šādas, bet LLM nav.
Soli pa solim: droša AI darbplūsma matemātikā
1. Skaidri definējiet problēmu. Neskaidrs jautājums sniedz neviennozīmīgu atbildi. Tā vietā, lai “Novērtējiet šo integrāli”, sakiet “Atrisiniet nenoteikto integrāli ∫ x·e^x dx soli pa solim pa daļējai integrācijai un parādiet katru soli”.
2. Lūdziet soli pa solim risinājumus. Jautājiet AI par starpposmiem, nevis tikai rezultātu. Darbības ir vienīgais veids, kā novērst kļūdu.
3. Pārbaudiet ar neatkarīgu rīku. Apstipriniet simbolisko rezultātu SymPy un skaitlisko rezultātu aprēķinam. Šis ir šī moduļa galvenais princips.
4. Pretpārbaude. Ņem atpakaļ atvasinājuma rezultātu, integrējot; aizvietot vienādojuma sakni; pārbaudiet, vai varbūtība ir no 0 līdz 1. Matemātika ir pilna ar paškontroles līdzekļiem.
5. Palieciet skeptiski. Kad AI saka "šī teorēma saka", apstipriniet teorēmas nosaukumu un apgalvojumu no uzticama avota. Izstrādāti teorēmu nosaukumi ir izplatīti.
Padoms: jautājiet katrai AI izvadei "kā es varu to pārbaudīt neatkarīgi?" Pieeja ar jautājumu. Matemātikā gandrīz katram rezultātam ir verifikācijas veids: atvasinājuma-integrāļa konverss, radikālā aizstāšana, dimensiju analīze, robežgadījumi. Ja nevarat atrast verifikācijas veidu, neuzticieties rezultātam.
trīs mini futrāļi
1. gadījums — izdomāta teorēma. Skolotājs jautā AI "ar kādu teorēmu es varu pierādīt šo nevienlīdzību?" viņš jautāja. AI ierosināja neeksistējošu teorēmu, ko sauc par "Hölmgrena-Bernulli nevienlīdzību" un sniedza pārliecinošu paziņojumu. Kad skolotājs meklēja vārdu matemātikas resursā, rezultāti netika parādīti. Patiesais risinājums bija klasiskā Košī-Švarca nevienlīdzība. Zaudētais laiks: 20 minūtes; Bet, ja nebūtu ieraduma pārbaudīt faktus, lekcijā tiktu nodota nepareiza informācija.
2. gadījums — signāla kļūda. Inženierzinātņu students prasīja AI rezultātu ∫ (2x − 3) dx. YZ deva x² − 3x + C (pareizi), bet nākamajā solī, aprēķinot noteikto integrāli [0,2], viņš −3·2 aizstāja ar +6 un ieguva −2, nevis 10. Students pārbaudīja rezultātu, ņemot atvasinājumus; Viņš kļūdu pieķēra 2 minūšu laikā.
3. gadījums — saņemts apstiprinājums. Vidusskolas skolotājs lūdza AI ģenerēt kvadrātvienādojuma jautājumus 15 jautājumu eksāmenam. Lai gan diskriminants bija negatīvs 2 no 15 jautājumiem, AI deva "īstu sakni". Skolotāja visus jautājumus atrisināja un salīdzināja ar SymPy; Viņš 5 minūšu laikā atklāja un izlaboja 2 kļūdas. Bez pārbaudes studenti tiktu novērtēti ar nepareizu atbildes taustiņu.
Četras kopējamas veidnes
1) Soli pa solim un pārbaudāms risinājums:
Jūsu loma: matemātikas palīgs. Soli pa solim atrisiniet šādu problēmu: [problēma]. Pierakstiet, kuru noteikumu/teorēmu izmantojāt katrā solī. Beigās pastāstiet man vienā teikumā, kā es varu pārbaudīt rezultātu neatkarīgi (piem., atvasinājums/integrāļa inverss, saknes aizstāšana). Ja neesat pārliecināts par kādu darbību, atzīmējiet to kā "šī darbība ir jāpārbauda".
2) Teorēmas/jēdziena apstiprinājums:
Pastāstiet man par [teorēmu/jēdzienu]. Uzrakstiet PILNU teorēmas standarta paziņojumu, tās parasto nosaukumu, ja tāds ir, un tās nosacījumus. Ja nav standarta teorēmas ar šo nosaukumu, skaidri sakiet "šis nosaukums nav standarta" un neveidojiet to. Norādiet jomas, par kurām neesat pārliecināts.
3) Pārbaudu savu risinājumu:
Zemāk ir mans risinājums. Pārbaudiet katru soli, ja ir KĻŪDA, parādiet, kurā solī un kāpēc; Ja tas ir pareizi, sakiet "šis solis ir pareizs". Nerakstiet jaunu risinājumu; vienkārši pārbaudiet manas darbības. Mans risinājums: [šeit]
4) Stratēģijas ieteikums (nevis konts):
Iesakiet 3 dažādas METODES/stratēģijas šādas problēmas risināšanai (neaprēķiniet). Vienā teikumā uzrakstiet katras metodes plusus un mīnusus. Norādiet, kurš no tiem ir vispiemērotākais šai problēmai un kāpēc.
Vāja uzvedne / spēcīga uzvedne
Vāji: "Atrisiniet šo integrāli: ∫ x·sin(x) dx"
Rezultāts: vienas rindiņas atbilde; Nekādu starpposmu, nekādas pārbaudes, nekādas kļūdas nevar pieķert.
Strong: "Atrisiniet nenoteikto integrāli ∫ x·sin(x) dx SOLI PA SOLI, izmantojot daļēju integrāciju. Parādiet u un dv izvēli katrā solī. Beigās diferencējiet rezultātu un pārbaudiet un parādiet, vai tas atgriežas uz x·sin(x)."
Rezultāts: Auditējamas darbības, iebūvēta pārbaude (atvasināta atpakaļpārbaude) un iespēja redzēt kļūdu.
Biežas kļūdas
- Akli uzticoties iznākumam. LLM pārliecinātais tonis negarantē precizitāti. Pat visdrošākais teikums var būt nepareizs.
- Nevēloties starpposmu. Ja vēlaties tikai rezultātu, kļūdu pieķert kļūst neiespējami.
- Nepārbauda ar deterministiskiem līdzekļiem. Neuzskatiet rezultātus par pašsaprotamiem bez SymPy, kalkulatora vai manuālas pretpārbaudes.
- Neapstiprina teorēmu/formulu nosaukumus. Izgudroti teorēmu nosaukumi ir vismānīgākais halucināciju veids.
- Nesniedzot kontekstu. Nepieminot studenta līmeni un atļautās metodes (piemēram, "izmantojot atvasinājumus"), rodas neizmantojami risinājumi.
Uzmanību! Pirms nododat to studentam vai kolēģim, noteikti pārbaudiet AI izvadi. Matemātikā nepareiza informācija rada citu kļūdu ķēdi, līdz tā tiek labota. Nepārbaudīta produkcija nekad neaizstāj kompetenta cilvēka apstiprinājumu.
Rezumējot
Mākslīgais intelekts ir spēcīgs kontūru, stratēģijas un organizācijas rīks matemātikā; bet tas nav kalkulators vai pierādījumu pārbaudītājs. Halucināciju risks ir reāls, un viena neliela kļūda matemātikā atspēko visu secinājumu. Tātad pamatdisciplīna ir skaidra: risiniet soli pa solim, pārbaudiet ar deterministiskiem līdzekļiem, pārbaudiet, apstipriniet teorēmas, palieciet skeptiski. Mēs padziļināsim šo validācijas domāšanas veidu katrā vienībā visā šajā modulī.
Lietojumprogrammas uzdevums
Izvēlieties vidēji sarežģītu matemātikas uzdevumu no savas jomas (integrāli, vienādojumu sistēmu vai varbūtības jautājumu). Lieciet AI atrisināt soli pa solim, izmantojot 1. veidni. Pēc tam pārbaudiet rezultātu neatkarīgi (atvasinājuma-integrāļa inverss, radikāla aizstāšana vai SymPy). Vismaz vienā solī: "Nez, vai šeit varētu būt kļūda?" Apstāties un pārbaudīt. Pierakstiet savus atklājumus 5–6 teikumos: Kur AI darbojās, kur tai bija nepieciešama apstiprināšana?
kontrolsaraksts
- [ ] Es definēju problēmu skaidri un kontekstā.
- [ ] Es prasīju AI soli pa solim risinājumu, nevis tikai rezultātu.
- [ ] Es pārbaudīju rezultātu ar deterministisku rīku vai manuāli.
- [ ] Esmu veicis vismaz vienu pretpārbaudi (muguras diferenciācija, radikāla aizstāšana utt.).
- [ ] Esmu apstiprinājis minēto teorēmu/formulu no uzticama avota.
- [ ] Es neesmu nodevis nevienu nepārbaudītu rezultātu.