Gnóthachain:
- A bheith in ann a aithint cén fáth a ndéanann intleacht shaorga botúin sa mhatamaitic (a bheith ina mhúnla teanga, gan an loighic a sheiceáil) agus na seacht bpríomhchineál earráidí
- Cumas míniú a thabhairt ar an bhfáth a bhfuil sé ríthábhachtach gach céim a fhíorú trí thuiscint go ndéantar earráid a iomadú agus go bhfuil an cruinneas dénártha sa mhatamaitic.
- Cumas disciplín fíoraithe ilchiseal a chur i bhfeidhm trí thástáil chiall choiteann, seiceáil ord méide, seiceálacha, cros-seiceáil agus modhanna neamhspleácha
Déanann an t-aonad seo an smaoineamh atá i gcroílár an mhodúil a dhoimhniú: cén fáth agus conas a dhéanann AI botúin sa mhatamaitic, cad iad na cineálacha botúin sin agus conas a ghlacaimid go córasach iad? In aonaid roimhe seo, chonaiceamar modhanna fíoraithe do gach topaic; Anseo bailímid anatamaíocht na n-earráidí faoi aon díon amháin. Is é an pointe, nuair a fhéachann tú ar aschur AI Wonder tú "cad a d'fhéadfadh a bheith ina botún anseo?" Is éard atá i gceist le dearcadh bailíochtaithe a fháil a cheapann go reflexively.
Meabhrúchán: siabhránacht is ea nuair a tháirgeann AI go muiníneach faisnéis nach bhfuil fíor i ndáiríre. Sa mhatamaitic, is cosúil hallucination go minic i bhfoirm "áititheach ach bréagach." Cén fáth a ndéanann AI botúin? Toisc gur samhail teanga atá ann, ní inneall loighce — is é sin, táirgeann sé téacs le patrúin staitistiúla, ní seiceálann sé bailíocht loighciúil na gcéimeanna. Is é is cúram dó "iolrú 3 dhigit" agus "cruthúnas bailí" an cineál céanna téacs a tháirgeadh; Níl aon mheicníocht inmheánach aige chun cruinneas a ráthú.
Anatamaíocht earráidí matamaitice: seacht gcineál
Tugann an liosta cineálacha seo a leanas achoimre ar na hearráidí is coitianta a dtiocfaidh tú trasna orthu in aschur AI agus ar an antidote do gach ceann díobh.
Cineál earráide
Cén chuma atá air
frithcheann
earráid uimhríochtúil
Earráid uimhreach cosúil le 7×8=54
Áireamhán/SymPy
earráid chomhartha
−(a−b)=−a−b
Oscail m'ainm de láimh
Teoirim déanta suas
ainm teoirim nach bhfuil ann
Deimhniú ón bhfoinse
Mífheidhmiú na rialach
Ná déan dearmad ar an riail slabhra
"Cén riail?" ceist
Léim stádas
Déan neamhaird den fhréamh diúltach
Liostaigh gach stádas
bearna cruthúnais
"Dá bhrí sin" gan údar
Ag ceistiú gach pas
Seansonraí/míchearta
eolas as dáta
foinsiú
Cén fáth a dteastaíonn aird ar leith ar an matamaitic?
I bhformhór na réimsí, tá iarmhairt bheag ag botún beag. Sa mhatamaitic, leathnaíonn agus méadaíonn earráid. Déanann earráid chomharthaíochta sa chéad líne de chothromóid na chéad deich líne eile agus an toradh deiridh go hiomlán mícheart. Fágann bearna i lár cruthúnais go bhfuil an cruthúnas ar fad neamhbhailí. Fágann an “leochaileacht” seo gur gá gach céim sa mhatamaitic a fhíorú – ní leor “go hiondúil is cosúil go bhfuil sé fíor”.
Ina theannta sin, tá an fhírinne sa mhatamaitic dénártha: tá toradh fíor nó bréagach, níl aon eatarthu. Féadfar a mheas go bhfuil "cruinn ochtó faoin gcéad" inghlactha in achoimre téacs; Níl a leithéid de rud ann agus "ochtó faoin gcéad ceart" i bhfostú - is é an toradh ceart é nó nach ea. Mar gheall ar an dé-nádúr seo tá an fíorú níos criticiúla agus (go fortunately) níos féidir: pasann an toradh fíorú nó ní théann sé.
Céim ar chéim: smacht an fhíoraithe chórasaigh
1. Deimhnigh gach toradh uimhriúil le huirlis. Ná fág uimhríochtúil riamh le bheith ag brath ar AI; SymPy, áireamhán nó de láimh.
2. Seiceáil gach toradh siombalach le SymPy. Cothromóid lárnach, díorthach, simpligh - is féidir gach ceann díobh a fhíorú le SymPy.
3. Deimhnigh gach teoirim/foirmle ón bhfoinse. An bhfuil an t-ainm agus an slonn ceart? Is iad na teoirimí comhdhéanta an gaiste is insidious.
4. Ceistigh gach teagmhas i ngach cruthú. “An leanann sé seo i ndáiríre ón gcéim roimhe seo?” Bunchás, toimhde intuigthe, seiceáil bearna.
5. Seiceáil agus frithsheiceáil. Oibriú inbhéartach, ionadú, stáit teorann, anailís tríthoiseach.
6. Cuir go dtí an tástáil chiall choiteann é. An bhfuil an toradh réasúnta? Má tá dóchúlacht níos mó ná 1, tá earráid ann má tá fad diúltach.
Leid: Is é an tástáil chiall choiteann is tapúla ná an seiceáil "ord méadaíochta". An bhfuil an toradh thart ar an raon ionchais? Más é meán ranga 250 (as 100), nó más 3.5 an dóchúlacht, beidh a fhios agat go bhfuil earráid ann gan breathnú ar na sonraí. Cuireann an seiceáil 5 soicind seo deireadh le go leor torthaí ridiciúla sa bachlóg.
trí chás mion
Cás 1 - Earráid chomhartha slabhra. Fuair mac léinn amháin amach i simpliú ailgéabrach 8-líne, earráid chomhartha a rinne an AI i líne 2 iomadaíodh go dtí na 6 línte eile. Bhí an toradh deiridh go hiomlán mícheart, ach chuir an AI i láthair é le muinín iomlán. Nuair a rinne an mac léinn é a shimpliú ón tús le SymPy, fuarthas an toradh ceart agus lig sé don AI an earráid a aimsiú sa 2ú líne. Bhréagnaigh comhartha amháin 6 líne.
Cás 2 - Shábháil ciall coiteann an tástáil. Bhí AI ag múinteoir fadhb dóchúlachta a réiteach; Ba é an toradh ná 1.4. Gan breathnú ar na sonraí, dúirt an múinteoir “ní féidir leis an dóchúlacht a bheith níos mó ná 1” agus d’fhéach sé ar an earráid: bhailigh an AI teagmhais neamhscoite amhail is dá mba scoite iad. Léirigh tástáil chiall choitinn an earráid laistigh de soicind.
Cás 3 - Foirmle déanta suas. D'iarr innealtóir ar an AI "foirmle dúnta" le haghaidh suim sraithe. Tá foirmle áititheach tugtha ag AI. Thástáil an t-innealtóir an fhoirmle le haghaidh luach beag n (n=3) de réir na foirmle agus trí shuimiú láimhe; Níor mheaitseáil na torthaí. Rinneadh an fhoirmle suas. Chuir beagán tweaking cosc ar uaireanta mí-úsáide.
Ceithre theimpléad inchóipeála
1) Iarratas fíoraithe ilchiseal:
Fuair tú: [toradh]. Anois seo a fhíorú TRÍ bhealach éagsúla: (1) hashing i droim ar ais, (2) tástáil a dhéanamh ar luach saincheaptha simplí, (3) roinnt cód a sheiceáil le SymPy (Feicfidh mé an t-aschur). Inis dom an bhfuil na trí bhealach comhsheasmhach; Mura bhfuil, taispeáin cén chéim a bhfuil earráid ann.
2) Tástáil chiall/ranga:
Fuair tú: [toradh]. Cuir go dtí an tástáil chiall choiteann é féachaint an bhfuil an toradh seo RÉASÚNTA: cad é an t-ord méide ionchais, an bhfuil an comhartha ceart, an bhfuil sé laistigh de theorainneacha (m.sh. dóchúlacht 0-1)? Mura bhfuil sé réasúnach, fiosraigh an áit a bhféadfadh botún a bheith ann.
3) Deimhniú Teoirim / Foirmle:
An bhfuil an [teoirim/foirmle] atá in úsáid agat i ndáiríre caighdeánach agus ceart? Scríobh a slonn agus coinníollacha caighdeánacha. Taispeáin cuntas a thástálann é seo le sampla beag (m.sh. n=3). Más foirmle déanta suas é nó rud éigin nach bhfuil tú cinnte faoi, abair go soiléir é.
4) Diagnóis modh earráide:
Tá a fhios agam go bhfuil fabht sa réiteach thíos. Seiceáil na cineálacha earráide seo ceann ar cheann: uimhríocht, comhartha, riail mhícheart, riocht scipeála, fearann. Inis dom cén cineál earráide atá ann agus cén chéim. Réiteach: [anseo]
Leid lag / Pras láidir
Lag: "An bhfuil an chonclúid seo ceart?" [greamaigh an toradh]
Toradh: Is minic a deir AI “ceart go leor” (claonadh chun a aschur féin a dhearbhú); neamhiontaofa toisc nach bhfuil aon iniúchadh neamhspleách.
Strong: "Seiceáil an toradh seo ar bhealach neamhspleách: bain úsáid as réiteach eile nó seiceáil le cód SymPy (rithfidh mé an cód). Ná habair 'fíor/bréagach'; taispeáin cé acu seiceáil a rinne tú agus an toradh. Má theipeann ar an seic, faigh an earráid."
Toradh: Tugtar dúshlán modh rialaithe neamhspleách; Tá cosc ar an AI as a aschur féin a cheadú go dall.
Botúin choitianta
- Iarraidh ar an AI a aschur féin a bhailíochtú. "An bhfuil sé seo fíor?" Is minic a dheimhníonn AI a botún féin; Tá modh neamhspleách ag teastáil.
- Gan bacadh le tástáil chiall choiteann. Is féidir nonsense cosúil le dóchúlacht níos mó ná 1 agus fad a bheith diúltach a ghabháil gan breathnú ar na sonraí.
- Ag brath ar fhíorú amháin. Úsáid cosáin neamhspleácha iolracha (hashes + SymPy + luach saincheaptha) ar thorthaí ríthábhachtacha.
- Gan foirmlí a thástáil le samplaí beaga. Teipeann foirmlí comhdhéanta láithreach ar luachanna beaga amhail n=2, n=3.
- Dearmad go bhfuil an fabht iomadaíodh. Éillíonn earráid sa chéad líne an toradh iomlán; Má fhaigheann tú earráid, seiceáil é ón tús.
Rabhadh: Níl aon chomhghaol idir muinín an AI agus a chruinneas. D'fhéadfadh go mbeadh an abairt is mó a chinntear, an ceann is líofa, an ceann is "cinnte" go hiomlán mícheart. Iontaobhas fíorú neamhspleách, ní ton. Ná déan machnamh ar thoradh “fíor” ach amháin nuair a dheimhníonn tú é de láimh nó le huirlis cinntitheach - ní mar go ndeir an AI “cinnte.”
Go hachomair
Déanann AI botúin sa mhatamaitic toisc gur samhail teanga é a tháirgeann téacs go staitistiúil, ní inneall a rialaíonn an loighic. Baineann seacht bpríomhchineál earráidí: uimhríocht, comhartha, teoirim chomhdhéanta, mífheidhmiú rialacha, cás fágtha ar lár, bearna cruthúnais, sonraí seanda. Sa mhatamaitic, leathnaíonn agus méadaíonn earráid, tá an fhírinne dénártha - mar sin ní mór gach céim a fhíorú. Smacht chórasach: fíoraigh gach uirlis uimhriúil, gach toradh siombalach le SymPy, gach teoirim ón bhfoinse, gach cruthúnas a théann trí cheistiú; Cuir seiceáil, frithsheiceáil agus tástáil chiall choiteann i bhfeidhm. Ní fianaise ar chruinneas é muinín AI.
Tasc feidhmchláir
Roghnaigh fadhb le réiteach meánfhad (6-8 céim ar a laghad) agus iarr ar an AI é a réiteach. Ansin déan fíorú ilchiseal ag baint úsáide as patrúin 1 agus 4 as an aonad seo: (a) tástáil tuiscint choiteann/rangaithe, (b) seiceáil le SymPy, (c) tástáil ar luach speisialta. Ansin téigh tríd an réiteach líne ar líne le súil “lorg fabhtanna” d’aon ghnó agus seiceáil cé acu de na seacht gcineál earráidí a d’fhéadfadh tarlú. Taifead gach earráid a aimsíonn tú mar aon lena cineál.
seicliosta
- [ ] Dheimhnigh mé gach toradh uimhriúil le huirlis cinntitheach.
- [ ] Sheiceáil mé gach toradh siombalach le SymPy.
- [ ] D’fhíoraigh mé an teoirim/foirmle a úsáideadh ón bhfoinse nó le sampla beag.
- [ ] Chuir mé an chiall choiteann/ord na tástála méide i bhfeidhm.
- [ ] Rinne mé iniúchadh air ar bhealach neamhspleách (gan brath ar cheadú an AI féin).
- [ ] Nuair a fuair mé earráid, rinne mé athsheiceáil ar an réiteach ón tús.