Pelnas:
- Gebėjimas pagal rizikos lygį atskirti, kur dirbtinis intelektas taupo laiką atliekant matematines užduotis (strategija, juodraštis, redagavimas), o kur reikalingas patikrinimas (tikslus skaičiavimas, įrodymų pagrįstumas).
- Gebėti atpažinti, kaip matematikoje atsiranda haliucinacijos (išgalvota teorema, klaida, neegzistuojanti formulė) ir suprasti, kodėl kalbos modelis nėra skaičiuotuvas
- Gebėjimas įgyvendinti darbo eigą, kuri tikrina kiekvieną išvestį taikant nuoseklų sprendimą, deterministinį įrankio patikrinimą ir priešpriešinio tikrinimo discipliną.
Matematika yra sritis, kurioje vienas neteisingas ženklas paneigia visą rezultatą. Pamiršus minuso ženklą integraluose, praleidžiant „akivaizdų“ žingsnį įrodyme arba naudojant neteisingą eksponentą formulėje – visa tai visiškai paneigia rezultatą. Štai kodėl dirbtinio intelekto (AI) naudojimas matematikoje reikalauja kruopštesnės disciplinos nei daugelyje kitų sričių. Šiame skyriuje išnagrinėsime, kur įrankiai, kuriuos vadiname didžiosios kalbos modeliu (LLM – Large Language Model; dirbtinio intelekto tipas, kuris tekstą gamina statistiškai prognozuodamas) iš tikrųjų sutaupo laiko atliekant matematines užduotis ir kur jos gali būti pavojingos; ir sužinosite, kaip žingsnis po žingsnio patikrinti kiekvieną išvestį.
Pirma, aiški koncepcija: haliucinacijos yra tada, kai dirbtinis intelektas sukuria informaciją, kuri iš tikrųjų nėra tiesa, su visišku pasitikėjimu, tarsi ji būtų tiesa. Matematikoje tai yra sudarytos teoremos pavadinimas, neteisingas algebrinis žingsnis arba formulė, kuri neegzistuoja. Kritinis taškas yra toks: LLM nėra skaičiuotuvas. Tai teksto generatorius, nuspėjantis „kitą labiausiai tikėtiną žodį“. Didžiąją laiko dalį ji pateikia teisingą matematiką, nes mokymo duomenyse matė daug teisingos matematikos; bet skirtumas tarp „dažniausiai tiesa“ ir „visą laiką tiesa“ yra viskas matematikoje.
Kur dirbtinis intelektas matematikoje veikia, o kur ne?
Pagalvokite apie AI kaip apie protingą planą ir idėjų partnerį: greita, bet būtina patikrinti. Šis skirtumas yra šio modulio pagrindas.
Quest
AI indėlis
žmogaus atsakomybė
Rasti būdą išspręsti problemą
Rekomenduoja skirtingas sprendimo strategijas
Tinkamos strategijos pasirinkimas ir įgyvendinimas
Algebrinis/simbolinis skaičiavimas
Generuoja eskizus, greitai išsprendžia lygtis
Patvirtinkite kiekvieną veiksmą naudodami SymPy arba rankiniu būdu
įrodymo juodraštis
Suteikia pagrindą ir idėjas
Kiekvieno loginio perėjimo tikrinimas
skaitinis skaičiavimas
Rašo Python kodą
Paleiskite kodą ir patvirtinkite rezultatą
vizualizacija
Generuoja grafinį kodą
Grafiko matymas atspindi matematiką
Pamokų/klausimų generavimas
Generuoja eskizą, pavyzdį, išblaškiklį
Patvirtinti tikslumą ir pedagoginį tinkamumą
Paprastai: naudokite AI, kad surastumėte ir redaguokite kelią į paskyrą, o ne pačią paskyrą; Visada patikrinkite rezultatą deterministiniu įrankiu (SymPy, skaičiuotuvu, rankiniu patikrinimu). „Deterministinis“ čia reiškia „visada suteikia tą patį ir tiksliai teisingą išvestį į tą patį įvestį“; Simbolinės skaičiavimo bibliotekos, tokios kaip SymPy, yra tokios, LLM – ne.
Žingsnis po žingsnio: saugi AI darbo eiga matematikoje
1. Aiškiai apibrėžkite problemą. Dviprasmiškas klausimas atneša dviprasmišką atsakymą. Vietoj „Įvertinkite šį integralą“ sakykite „Išspręskite neapibrėžtą integralą ∫ x·e^x dx žingsnis po žingsnio po dalinės integracijos ir parodykite kiekvieną žingsnį“.
2. Paprašykite nuoseklių sprendimų. Paprašykite AI dėl tarpinių veiksmų, o ne tik rezultato. Veiksmai yra vienintelis būdas pastebėti klaidą.
3. Patikrinkite nepriklausomu įrankiu. Patvirtinkite simbolinį SymPy rezultatą, o skaitinį - skaičiavimo rezultatą. Tai yra pagrindinis šio modulio principas.
4. Priešpriešinis patikrinimas. Atsiimkite išvestinės rezultatą integruodami; pakeiskite lygties šaknį; patikrinkite, ar tikimybė yra tarp 0 ir 1. Matematikoje pilna savikontrolės įrankių.
5. Išlikite skeptiški. Kai AI sako „ši teorema sako“, patvirtinkite teoremos pavadinimą ir teiginį iš patikimo šaltinio. Sugalvoti teoremų pavadinimai yra dažni.
Patarimas: Paklauskite kiekvienos AI išvesties "kaip galiu tai patikrinti atskirai?" Kreipkitės į klausimą. Matematikoje beveik kiekvienas rezultatas turi patikrinimo būdą: atvirkštinis išvestinis-integralas, radikalus pakaitalas, matmenų analizė, ribiniai atvejai. Jei nerandate patvirtinimo būdo, nepasitikėkite rezultatu.
trys mini dėklai
1 atvejis. Sudaryta teorema. Mokytojas klausia AI "kokia teorema aš įrodysiu šią nelygybę?" – paklausė jis. AI pasiūlė neegzistuojančią teoremą, pavadintą „Hölmgren-Bernoulli nelygybe“ ir padarė įtikinamą teiginį. Kai mokytojas ieškojo pavadinimo matematikos šaltinyje, rezultatų nebuvo. Tikrasis sprendimas buvo klasikinė Cauchy-Schwarz nelygybė. Prarastas laikas: 20 minučių; Bet jei ne įprotis tikrinti faktus, paskaitoje būtų perteikiama neteisinga informacija.
2 atvejis – signalo klaida. Inžinerijos studentas AI paprašė rezultato ∫ (2x − 3) dx. YZ davė x² − 3x + C (teisingai), bet kitame žingsnyje, skaičiuodamas apibrėžtąjį integralą [0,2], −3·2 pakeitė +6 ir gavo −2 vietoj 10. Studentas patikrino rezultatą paėmęs išvestines; Jis klaidą pagavo per 2 min.
3 atvejis – gautas patvirtinimas. Vidurinės mokyklos mokytojas paprašė AI sugeneruoti kvadratinės lygties klausimus 15 klausimų egzaminui. Nors diskriminantas buvo neigiamas 2 iš 15 klausimų, AI suteikė „tikrąją šaknį“. Visus klausimus mokytoja išsprendė ir palygino su SymPy; Per 5 minutes jis aptiko ir ištaisė 2 klaidas. Be patikrinimo studentai būtų vertinami neteisingu atsakymo raktu.
Keturi kopijuojami šablonai
1) Žingsnis po žingsnio ir patikrinamas sprendimas:
Jūsų vaidmuo: matematikos asistentas. Žingsnis po žingsnio išspręskite šią problemą: [problema]. Užrašykite, kurią taisyklę/teoremą naudojote kiekviename žingsnyje. Pabaigoje vienu sakiniu pasakykite, kaip galiu savarankiškai patikrinti rezultatą (pvz., išvestinė / integralas atvirkštinis, šaknies pakaitalai). Jei nesate tikri dėl veiksmo, pažymėkite jį kaip „šis veiksmas turi būti patvirtintas“.
2) Teoremos/sąvokos patvirtinimas:
Papasakok man apie [teoremą/sąvoką]. Parašykite VISĄ standartinį teoremos teiginį, jos bendrinį pavadinimą, jei toks yra, ir sąlygas. Jei šiuo pavadinimu nėra standartinės teoremos, aiškiai pasakykite „šis pavadinimas nėra standartinis“ ir jo nesugalvokite. Nurodykite sritis, dėl kurių nesate tikri.
3) Patikrinkite savo sprendimą:
Žemiau yra mano sprendimas. Patikrinkite kiekvieną veiksmą, jei yra KLAIDA, parodykite, kuriame žingsnyje ir kodėl; Jei tai teisinga, pasakykite „šis žingsnis teisingas“. Nerašykite naujo sprendimo; tiesiog patikrinkite mano veiksmus.Mano sprendimas: [čia]
4) Strategijos pasiūlymas (ne paskyra):
Pasiūlykite 3 skirtingus METODUS/strategijas, kaip išspręsti šią problemą (neskaičiuokite). Vienu sakiniu parašykite kiekvieno metodo privalumus ir trūkumus. Nurodykite, kuris iš jų geriausiai tinka šiai problemai ir kodėl.
Silpnas raginimas / Stiprus raginimas
Silpnas: „Išspręskite šį integralą: ∫ x·sin(x) dx“
Rezultatas: vienos eilutės atsakymas; Jokių tarpinių veiksmų, jokio patikrinimo, jokių klaidų nepavyksta užfiksuoti.
Stiprus: "Neapibrėžtą integralą ∫ x·sin(x) dx ŽINGSNIS PAS ŽINGSNIS išspręskite dalinės integracijos būdu. Kiekviename žingsnyje parodykite u ir dv pasirinkimą. Pabaigoje išskirkite rezultatą ir patikrinkite bei parodykite, ar jis grįžta į x·sin(x)."
Rezultatas: Audituojami veiksmai, integruotas patikrinimas (išvestinis atgalinis patikrinimas) ir galimybė pamatyti klaidą.
Dažnos klaidos
- Aklai pasitikėjimas rezultatu. Užtikrintas LLM tonas negarantuoja tikslumo. Netgi labiausiai pasitikintis savimi sakinys gali būti klaidingas.
- Nenori tarpinio žingsnio. Kai norisi tik rezultato, pasidaryti klaidos tampa neįmanoma.
- Netikrinama deterministinėmis priemonėmis. Nelaikykite jokių rezultatų savaime suprantamu dalyku, jei nėra „SymPy“, skaičiuotuvo ar rankinio priešpriešinio patikrinimo.
- Nepatvirtina teoremų/formulių pavadinimų. Sugalvoti teoremų pavadinimai yra pati klastingiausia haliucinacijų rūšis.
- Nepateikia konteksto. Nepaminėjus studento lygio ir leidžiamų metodų (pvz., „išvestinių priemonių naudojimas“), gaunami netinkami sprendimai.
Įspėjimas: Prieš perduodant mokiniui ar kolegai, būtinai patikrinkite AI išvestį. Matematikoje neteisinga informacija sukuria virtinę kitų klaidų, kol jos nebus ištaisytos. Nepatvirtinta produkcija niekada nepakeičia kompetentingo žmogaus patvirtinimo.
Apibendrinant
Dirbtinis intelektas yra galingas matematikos metmenų, strategijos ir organizavimo įrankis; bet tai nėra skaičiuotuvas ar įrodymų tikrintuvas. Haliucinacijų rizika yra reali, o viena nedidelė matematikos klaida paneigia visą išvadą. Taigi pagrindinė disciplina aiški: spręskite žingsnis po žingsnio, patikrinkite deterministinėmis priemonėmis, patikrinkite, patvirtinkite teoremas, išlikite skeptiški. Mes gilinsime šią patvirtinimo mąstyseną kiekviename šio modulio skyriuje.
Taikymo užduotis
Iš savo srities pasirinkite vidutiniškai sudėtingą matematikos uždavinį (integralą, lygčių sistemą arba tikimybių klausimą). Tegul dirbtinis intelektas žingsnis po žingsnio išspręskite naudodami aukščiau pateiktą 1 šabloną. Tada patikrinkite rezultatą nepriklausomu būdu (atvirkštinis išvestinis integralas, radikalus pakaitalas arba SymPy). Bent vienu žingsniu: "Kažin, ar čia gali būti klaida?" Sustokite ir patikrinkite. Užrašykite savo išvadas 5–6 sakiniais: kur DI veikė, kur reikėjo jį patvirtinti?
kontrolinis sąrašas
- [ ] Problemą apibrėžiau aiškiai ir kontekste.
- [ ] Paprašiau dirbtinio intelekto nuoseklaus sprendimo, o ne tik rezultato.
- [ ] Rezultatą patikrinau deterministiniu įrankiu arba rankiniu būdu.
- [ ] Atlikau bent vieną priešpriešinį patikrinimą (atgalinis diferencijavimas, radikalus keitimas ir pan.).
- [ ] Minėtą teoremą/formulę patvirtinau iš patikimo šaltinio.
- [ ] Neperdaviau jokių nepatvirtintų rezultatų.