Faida:
- Uwezo wa kutofautisha ambapo akili ya bandia huokoa wakati katika kazi za hisabati (mkakati, rasimu, uhariri) na ambapo uthibitishaji unahitajika (hesabu halisi, uhalali wa uthibitisho) kulingana na kiwango cha hatari.
- Awe na uwezo wa kutambua jinsi ufahamu hutokea katika hisabati (nadharia iliyotengenezwa, hatua isiyo sahihi, fomula haipo) na kuelewa kwa nini modeli ya lugha sio kikokotoo.
- Uwezo wa kutekeleza mtiririko wa kazi ambao hukagua kila pato kwa suluhisho la hatua kwa hatua, uthibitishaji wa zana ya kuamua na nidhamu ya kukagua.
Hisabati ni sehemu ambayo ishara moja isiyo sahihi inakanusha matokeo yote. Kusahau ishara ya kutoa katika muunganisho, kuruka hatua ya "dhahiri" katika uthibitisho, au kutumia kipeo kisicho sahihi katika fomula—yote hayo yanabatilisha matokeo kabisa. Ndio maana matumizi ya akili bandia (AI) katika hisabati yanahitaji nidhamu makini zaidi kuliko fani nyingine nyingi. Katika kitengo hiki, tutachunguza mahali ambapo zana tunazoziita modeli ya lugha kubwa (LLM - Large Language Model; aina ya akili ya bandia ambayo hutoa maandishi kwa kutabiri kitakwimu) kwa kweli huokoa wakati katika kazi za hisabati na ambapo zinaweza kuwa hatari; na utajifunza jinsi ya kuthibitisha kila pato hatua kwa hatua.
Kwanza, dhana iliyo wazi: Udanganyifu ni wakati AI hutoa habari ambayo sio kweli, kwa ujasiri kamili, kana kwamba ni kweli. Katika hisabati, hii inakuja katika mfumo wa jina la nadharia iliyoundwa, hatua isiyo sahihi ya aljebra, au fomula ambayo haipo. Jambo muhimu ni hili: LLM sio kikokotoo. Ni jenereta ya maandishi ambayo inatabiri "neno linalofuata linalowezekana zaidi." Hutoa hesabu sahihi mara nyingi kwa sababu imeona hesabu nyingi sahihi katika data ya mafunzo; lakini tofauti kati ya "kweli mara nyingi" na "kweli wakati wote" ni kila kitu katika hisabati.
Akili ya bandia inafanya kazi wapi katika hisabati na haifanyi kazi wapi?
Fikiria AI kama mpango mahiri na mshirika wa wazo: haraka lakini lazima idhibitishwe. Tofauti ifuatayo ni uti wa mgongo wa moduli hii.
Jitihada
Mchango wa AI
wajibu wa binadamu
Kutafuta njia ya kutatua tatizo
Inapendekeza mikakati tofauti ya suluhisho
Kuchagua na kutekeleza mkakati sahihi
Hesabu ya aljebra/ishara
Huzalisha michoro, hutatua milinganyo haraka
Thibitisha kila hatua ukitumia SymPy au wewe mwenyewe
rasimu ya ushahidi
Hutoa mfumo na mawazo
Kuangalia kila mpito wa kimantiki
hesabu ya nambari
Anaandika msimbo wa Python
Endesha msimbo na uthibitishe matokeo
taswira
Inazalisha msimbo wa picha
Kuona grafu kuakisi hisabati
Kizazi cha somo/maswali
Huzalisha mchoro, sampuli, kipotoshi
Thibitisha usahihi na ufaafu wa ufundishaji
Kama kanuni ya kidole gumba: tumia AI kupata na kuhariri njia ya akaunti, sio akaunti yenyewe; Thibitisha matokeo kila wakati kwa zana ya kuamua (SymPy, kikokotoo, ukaguzi wa mwongozo). "Deterministic" hapa ina maana "daima inatoa matokeo sawa na sahihi kwa pembejeo sawa"; Maktaba za kompyuta za mfano kama SymPy ni kama hii, LLM sivyo.
Hatua kwa hatua: mtiririko salama wa AI katika hisabati
1. Eleza tatizo kwa uwazi. Swali la utata huleta jibu lisiloeleweka. Badala ya “Tathmini muunganisho huu,” sema “Tatua kiungo kisichojulikana ∫ x·e^x dx hatua kwa hatua kwa ujumuishaji wa sehemu na uonyeshe kila hatua.”
2. Uliza masuluhisho ya hatua kwa hatua. Uliza AI kwa hatua za kati, sio matokeo tu. Hatua ndio njia pekee ya kupata kosa.
3. Thibitisha kwa zana huru. Thibitisha matokeo ya ishara kwa SymPy na matokeo ya nambari kwa hesabu. Hii ndiyo kanuni kuu ya moduli hii.
4. Countercheck. Rudisha matokeo ya derivative kwa kuunganisha; badilisha mzizi wa equation; angalia kama uwezekano ni kati ya 0 na 1. Hisabati imejaa zana za kujidhibiti.
5. Kaa na shaka. Wakati AI inasema "nadharia hii inasema", thibitisha jina na taarifa ya nadharia kutoka kwa chanzo cha kuaminika. Majina ya nadharia ya maandishi ni ya kawaida.
Kidokezo: Uliza kila pato la AI "ninawezaje kuangalia hii kwa kujitegemea?" Njoo na swali. Katika hisabati, karibu kila matokeo yana njia ya uthibitishaji: mazungumzo ya derivative-integral, uingizwaji mkali, uchambuzi wa dimensional, kesi za kikomo. Ikiwa huwezi kupata njia ya uthibitishaji, usiamini matokeo.
kesi tatu ndogo
Kesi ya 1 - Nadharia iliyoundwa. Mwalimu anauliza AI "ni na nadharia gani ninathibitisha ukosefu huu wa usawa?" Aliuliza. AI ilipendekeza nadharia ambayo haipo inayoitwa "kutokuwa na usawa kwa Hölmgren-Bernoulli" na ikatoa taarifa ya kushawishi. Mwalimu alipotafuta jina katika rasilimali ya hisabati, hakuna matokeo yaliyopatikana. Suluhisho la kweli lilikuwa ukosefu wa usawa wa Cauchy-Schwarz. Muda uliopotea: dakika 20; Lakini kama haikuwa kwa tabia ya kukagua ukweli, habari zisizo sahihi zingewasilishwa katika hotuba.
Kesi 2 - Hitilafu ya mawimbi. Mwanafunzi wa uhandisi aliuliza AI kwa matokeo ∫ (2x − 3) dx. YZ alitoa x² − 3x + C (sahihi), lakini katika hatua iliyofuata, wakati wa kukokotoa kiungo hakika [0,2], alibadilisha -3·2 na +6 na kupata -2 badala ya 10. Mwanafunzi alikagua matokeo kwa kuchukua derivatives; Alipata kosa ndani ya dakika 2.
Kesi ya 3 - Uthibitisho umepata. Mwalimu wa shule ya upili aliuliza AI kutoa maswali ya milinganyo ya robo kwa ajili ya mtihani wa maswali 15. Ingawa mbaguzi alikuwa hasi katika maswali 2 kati ya 15, AI ilitoa "mzizi halisi". Mwalimu alitatua na kulinganisha maswali yote na SymPy; Aligundua na kurekebisha makosa 2 ndani ya dakika 5. Bila uthibitishaji, wanafunzi wangetathminiwa kwa ufunguo wa jibu usio sahihi.
Violezo vinne vinavyoweza kunakiliwa
1) Hatua kwa hatua na suluhisho linaloweza kuthibitishwa:
Jukumu lako: msaidizi wa hesabu. Tatua tatizo lifuatalo HATUA KWA HATUA:[tatizo]. Andika ni kanuni/nadharia gani uliyotumia katika kila hatua. Mwishowe, niambie kwa sentensi moja jinsi ninavyoweza kuthibitisha matokeo kwa kujitegemea (k.m. inverse derivative/integral, uingizwaji wa mizizi). Iwapo kuna hatua ambayo huna uhakika nayo, itie alama kuwa "hatua hii lazima ithibitishwe".
2) Uthibitisho wa nadharia/dhana:
Niambie kuhusu [nadharia/dhana]. Andika taarifa KAMILI ya kiwango cha nadharia, jina lake la kawaida ikiwa lipo, na masharti yake. Ikiwa hakuna nadharia ya kawaida kwa jina hilo, sema kwa uwazi "jina hili si la kawaida" na usiifanye. Taja maeneo ambayo huna uhakika nayo.
3) Kuangalia suluhisho langu mwenyewe:
Chini ni suluhisho langu. Angalia kila hatua, ikiwa kuna KOSA, onyesha katika hatua gani na kwa nini; Ikiwa ni sahihi, sema "hatua hii ni sahihi". Usiandike suluhisho jipya; angalia tu hatua zangu.Suluhisho langu: [hapa]
4) Pendekezo la mkakati (sio akaunti):
Pendekeza MBINU/mkakati 3 tofauti za kutatua tatizo lifuatalo (usihesabu). Andika faida na hasara za kila mbinu katika sentensi moja. Eleza ni ipi inayofaa zaidi kwa tatizo hili na kwa nini.
Mwongozo dhaifu / Mwongozo thabiti
Dhaifu: "Tatua kiungo hiki: ∫ x·sin(x) dx"
Matokeo: Jibu la mstari mmoja; Hakuna hatua za kati, hakuna uthibitishaji, hakuna makosa yanaweza kupatikana.
Imara: "Tatua kiunganishi kisichojulikana ∫ x·sin(x) dx HATUA KWA HATUA kwa ujumuishaji wa sehemu. Onyesha chaguo la u na dv katika kila hatua. Mwishoni, tofautisha matokeo na uangalie na uonyeshe ikiwa yanarudi kwa x·sin(x)."
Matokeo: Hatua zinazoweza kusikika, uthibitishaji uliojengewa ndani (derivative backcheck) na uwezo wa kuona hitilafu.
Makosa ya kawaida
- Kuamini kwa upofu matokeo. Toni ya ujasiri ya LLM sio hakikisho la usahihi. Hata sentensi inayoonekana kujiamini zaidi inaweza kuwa mbaya.
- Kutotaka hatua ya kati. Unapotaka matokeo tu, inakuwa vigumu kupata kosa.
- Kutothibitisha kwa njia za kuamua. Usichukulie matokeo yoyote kuwa ya kawaida bila SymPy, kikokotoo, au ukaguzi wa kukanusha mwenyewe.
- Haidhibitishi majina ya nadharia/fomula. Majina ya nadharia ya maandishi ndio aina ya siri zaidi ya ukumbi.
- Sio kutoa muktadha. Kutotaja kiwango cha mwanafunzi na mbinu zinazoruhusiwa (k.m. "kutumia derivatives") husababisha suluhu zisizoweza kutumika.
Tahadhari: Hakikisha umethibitisha matokeo ya AI kabla ya kuipitisha kwa mwanafunzi au mwenzako. Katika hisabati, taarifa zisizo sahihi huunda mlolongo wa makosa mengine hadi kusahihishwa. Matokeo ambayo hayajathibitishwa kamwe hayachukui nafasi ya idhini kutoka kwa binadamu aliye na uwezo.
Kwa muhtasari
Akili ya Bandia ni muhtasari wenye nguvu, mkakati na chombo cha shirika katika hisabati; lakini sio kikokotoo au kikagua uthibitisho. Hatari ya hallucinations ni ya kweli, na kosa moja ndogo katika hisabati inapinga hitimisho zima. Kwa hivyo nidhamu ya msingi ni wazi: suluhisha hatua kwa hatua, thibitisha kwa njia za kuamua, hakiki, thibitisha nadharia, endelea kuwa na shaka. Tutaongeza mtazamo huu wa uthibitishaji katika kila kitengo katika moduli hii yote.
Jukumu la maombi
Chagua tatizo gumu la hesabu kutoka kwa sehemu yako (muhimu, mfumo wa milinganyo, au swali la uwezekano). Acha AI isuluhishe hatua kwa hatua na kiolezo cha 1 hapo juu. Kisha uthibitishe matokeo kwa njia huru (derivative-integral inverse, substitution radical, au SymPy). Katika angalau hatua moja, "Nashangaa kama kunaweza kuwa na makosa hapa?" Simama na uangalie. Andika matokeo yako katika sentensi 5-6: AI ilifanya kazi wapi, ilihitaji uthibitisho wapi?
orodha ya ukaguzi
- [ ] Nilifafanua tatizo kwa uwazi na katika muktadha.
- [ ] Niliuliza AI kwa suluhisho la hatua kwa hatua, sio matokeo tu.
- [ ] Nilithibitisha matokeo kwa zana ya kubainisha au kwa mikono.
- [ ] Nimefanya angalau kaunta moja (utofautishaji wa nyuma, uingizwaji mkali, n.k.).
- [ ] Nimethibitisha nadharia/formula hiyo kutoka kwa chanzo kinachotegemewa.
- [ ] Sijapitisha matokeo yoyote ambayo hayajathibitishwa.