Awọn anfani:
- Ni anfani lati ṣe idanimọ idi ti oye atọwọda ṣe awọn aṣiṣe ninu mathimatiki (jije awoṣe ede, kii ṣe ayẹwo ọgbọn) ati awọn oriṣi akọkọ ti awọn aṣiṣe meje
- Agbara lati ṣe alaye idi ti o ṣe pataki lati rii daju igbesẹ kọọkan nipa agbọye pe aṣiṣe ti tan kaakiri ati pe deede jẹ alakomeji ni mathimatiki.
- Agbara lati lo ibawi ijẹrisi ọpọlọpọ-siwa nipasẹ idanwo ori ti o wọpọ, aṣẹ ti iṣayẹwo titobi, awọn sọwedowo, iṣayẹwo-agbelebu ati awọn ọna ominira
Ẹka yii ṣe jinlẹ si imọran ni ọkan ti module: kilode ati bawo ni AI ṣe awọn aṣiṣe ninu mathimatiki, kini awọn iru awọn aṣiṣe wọnyi ati bawo ni a ṣe le mu wọn ni eto? Ni awọn ẹya ti tẹlẹ, a ti rii awọn ọna ijẹrisi fun koko-ọrọ kọọkan; Nibi a ṣajọ anatomi ti awọn aṣiṣe labẹ orule kan. Oro naa ni, nigbati o ba wo abajade AI kan o ṣe iyalẹnu "kini o le jẹ aṣiṣe nibi?" O jẹ lati jèrè lakaye afọwọsi ti o ro reflexively.
Olurannileti: hallucination jẹ nigbati AI kan ni igboya gbejade alaye ti kii ṣe otitọ gaan. Ni mathimatiki, hallucination igba han ni awọn fọọmu ti "persuasiful sugbon eke." Kini idi ti AI ṣe awọn aṣiṣe? Nitoripe o jẹ awoṣe ede, kii ṣe ẹrọ ọgbọn kan — iyẹn ni, o ṣe agbejade ọrọ pẹlu awọn ilana iṣiro, ko ṣayẹwo iwulo ọgbọn ti awọn igbesẹ naa. A "3-nọmba isodipupo" ati a "wulo ẹri" ni o wa fun u awọn iṣẹ-ṣiṣe ti producing kanna ni irú ti ọrọ; Ko ni ẹrọ inu lati ṣe iṣeduro išedede.
Anatomi ti awọn aṣiṣe mathematiki: awọn oriṣi meje
Atokọ atẹle ti awọn oriṣi ṣe akopọ awọn aṣiṣe ti o wọpọ julọ ti iwọ yoo ba pade ni iṣelọpọ AI ati antidote fun ọkọọkan.
Iru aṣiṣe
Kini o dabi
oogun oogun
aṣiṣe isiro
Aṣiṣe nọmba bi 7×8=54
Ẹrọ iṣiro/SymPy
aṣiṣe ami
-(a-b)=-a-b
Ṣii orukọ mi pẹlu ọwọ
Akori ti a ṣe
ti kii-existent theorem orukọ
Ìmúdájú lati orisun
Aṣiṣe ofin
Maṣe gbagbe ofin pq
"Ofin wo?" ibeere
Ipo ti o fo
Foju root odi
Ṣe atokọ gbogbo awọn ipo
aafo ti ẹri
"Nitorina" laisi idalare
Ibeere gbogbo kọja
Atijọ / data ti ko tọ
igba atijọ alaye
orisun
Kini idi ti mathimatiki nilo akiyesi pataki?
Ni ọpọlọpọ awọn agbegbe, aṣiṣe kekere kan ni abajade kekere kan. Ni mathimatiki, aṣiṣe ntan ati dagba. Aṣiṣe ami kan ni laini akọkọ ti idogba jẹ ki awọn ila mẹwa ti o tẹle ati abajade ikẹhin jẹ aṣiṣe patapata. Aafo kan ni arin ẹri kan jẹ ki gbogbo ẹri di asan. “Ailagbara” yii jẹ ki o ṣe pataki lati rii daju igbesẹ kọọkan ninu mathimatiki - “ọrọ ni gbogbogbo dabi otitọ” ko to.
Pẹlupẹlu, otitọ ni mathimatiki jẹ alakomeji: abajade jẹ boya otitọ tabi eke, ko si laarin. “Ìpín ọgọ́rin péré” ni a lè kà sí ìtẹ́wọ́gbà nínú àkópọ̀ ọ̀rọ̀; Ko si iru nkan bi "ogorin ogorun ti o tọ" ninu ohun elo-boya o jẹ esi ti o pe tabi kii ṣe bẹ. Iseda meji yii jẹ ki ijẹrisi mejeeji ṣe pataki diẹ sii ati (oore) ṣee ṣe diẹ sii: abajade boya o kọja ijẹrisi tabi ko ṣe.
Igbesẹ nipasẹ igbese: ibawi ti iṣeduro eto
1. Jẹrisi abajade nọmba kọọkan pẹlu ọpa kan. Maṣe fi isiro silẹ lati gbẹkẹle AI; SymPy, isiro tabi nipa ọwọ.
2. Ṣayẹwo abajade aami kọọkan pẹlu SymPy. Integral, itọsẹ, rọrun, idogba—gbogbo rẹ le jẹri pẹlu SymPy.
3. Jẹrisi ilana ẹkọ kọọkan / agbekalẹ lati orisun. Njẹ orukọ ati ikosile jẹ deede? Awọn imọ-jinlẹ ti a ṣe ni pakute ti o ni inira julọ.
4. Ibeere gbogbo iṣẹlẹ ni gbogbo ẹri. "Ṣe eyi tẹle gaan lati igbesẹ ti tẹlẹ?” Ọran ipilẹ, arosinu ti ko tọ, ṣayẹwo aafo.
5. Ṣayẹwo ati countercheck. Iṣiṣẹ onidakeji, aropo, awọn ipinlẹ opin, itupalẹ onisẹpo.
6. Fi si idanwo oye ti o wọpọ. Ǹjẹ́ àbájáde rẹ̀ bọ́gbọ́n mu? Ti iṣeeṣe kan ba tobi ju 1 lọ, aṣiṣe kan wa ti ipari ba jẹ odi.
Imọran: Idanwo oye ti o yara ti o yara julọ jẹ ayẹwo “aṣẹ titobi”. Ṣe abajade ni aijọju laarin iwọn ti a nireti? Ti apapọ kilasi jẹ 250 (lati inu 100), tabi iṣeeṣe kan jẹ 3.5, iwọ yoo mọ pe aṣiṣe wa laisi wiwo awọn alaye naa. Ayẹwo iṣẹju-aaya 5 yii yọkuro ọpọlọpọ awọn abajade ẹgan ninu egbọn naa.
mẹta mini igba
Irú 1 - Pq ami aṣiṣe. Ọmọ ile-iwe kan rii pe ni simplification algebra laini 8, aṣiṣe ami kan ti AI ṣe ni laini 2 tan si awọn laini 6 atẹle. Abajade ikẹhin jẹ aṣiṣe patapata, ṣugbọn AI gbekalẹ pẹlu igbẹkẹle pipe. Nigbati ọmọ ile-iwe ṣe irọrun lati ibere pẹlu SymPy, abajade to pe ni a gba ati gba AI laaye lati wa aṣiṣe ni laini 2nd. A nikan ami refuted 6 ila.
Ọran 2 - Imọye ti o wọpọ ti fipamọ idanwo naa. Olukọni kan ni AI yanju iṣoro iṣeeṣe; Abajade jẹ 1.4. Laisi wiwo awọn alaye naa, olukọ naa sọ pe “iṣeeṣe ko le tobi ju 1 lọ” ati pe o wa aṣiṣe naa: AI ti gba awọn iṣẹlẹ ti ko ni oye bi ẹni pe wọn jẹ oye. Idanwo ori ti o wọpọ tọka si aṣiṣe laarin iṣẹju-aaya.
Case 3 - Ṣe-soke agbekalẹ. Onimọ-ẹrọ kan beere lọwọ AI fun “agbekalẹ pipade” fun akopọ kan. AI ti funni ni agbekalẹ idaniloju. Onimọ-ẹrọ ṣe idanwo agbekalẹ fun iye kekere ti n (n = 3) mejeeji nipasẹ agbekalẹ ati afikun ọwọ; Awọn esi ko baramu. A ṣe agbekalẹ agbekalẹ naa. Titun diẹ ṣe idiwọ awọn wakati ilokulo.
Mẹrin daakọ awọn awoṣe
1) Ibeere ijẹrisi pupọ-Layer:
O ri: [esi]. Bayi rii daju pe awọn ọna oriṣiriṣi mẹta yii: (1) hashing ni yiyipada, (2) ṣe idanwo iye aṣa ti o rọrun, (3) koodu kan lati ṣayẹwo pẹlu SymPy (Emi yoo rii abajade). Sọ fun mi ti gbogbo awọn ọna mẹta ba wa ni ibamu; Ti kii ba ṣe bẹ, ṣafihan igbesẹ wo ni aṣiṣe kan.
2) Idanwo oye / ipo ti o wọpọ:
O ri: [esi]. Fi si idanwo ori ti o wọpọ lati rii boya abajade yii jẹ IDI: kini aṣẹ ti a reti ti titobi, ami ami naa jẹ deede, o wa laarin awọn opin (fun apẹẹrẹ iṣeeṣe 0-1)? Ti ko ba bọgbọnmu, ṣe iwadii ibi ti aṣiṣe le wa.
3) Theorem/formula ìmúdájú:
Njẹ [ero/agbekalẹ] ti o n lo ṣe deede ati pe o tọ? Kọ awọn oniwe-boṣewa ikosile ati ipo. Ṣe afihan akọọlẹ kan ti o ṣe idanwo eyi pẹlu apẹẹrẹ kekere (fun apẹẹrẹ n=3). Ti o ba jẹ agbekalẹ ti a ṣe tabi nkan ti o ko ni idaniloju, sọ ni kedere.
4) Ṣiṣe ayẹwo ipo aṣiṣe:
Mo mọ pe kokoro kan wa ninu ojutu ni isalẹ. Ṣayẹwo awọn iru aṣiṣe wọnyi ni ọkọọkan: iṣiro, ami, ofin ti ko tọ, ipo ti o fo, agbegbe. Sọ fun mi iru aṣiṣe ti o jẹ ati ni igbesẹ wo. Ojutu: [nibi]
Ailagbara kiakia / Alagbara kiakia
Alailagbara: "Ṣe ipari yii tọ?" [lẹẹmọ abajade]
Abajade: AI nigbagbogbo sọ “bẹẹni ọtun” (itẹsi lati jẹrisi abajade tirẹ); ti ko ni igbẹkẹle nitori pe ko si iṣayẹwo ominira.
Alagbara: "ṢAyẹwo abajade yii ni ọna ominira: lo iṣẹ-ṣiṣe ti o yatọ tabi ṣayẹwo pẹlu koodu SymPy (Emi yoo ṣiṣẹ koodu naa). Maṣe sọ nikan 'otitọ / eke'; fihan iru ayẹwo ti o ṣe ati abajade. Ti checksum ba kuna, wa aṣiṣe naa. "
Abajade: Ọna iṣakoso ominira jẹ laya; A ṣe idiwọ AI lati fọwọsi iṣẹjade tirẹ ni afọju.
Awọn aṣiṣe ti o wọpọ
- Gbigba AI lati fọwọsi iṣelọpọ tirẹ. "Ṣe otitọ ni eyi?" AI nigbagbogbo jẹrisi aṣiṣe ti ara rẹ; Ọna ominira nilo.
- Foju inu idanwo oye ti o wọpọ. Ọrọ isọkusọ bi iṣeeṣe ti o tobi ju 1 ati ipari ti o jẹ odi ni a le mu laisi wiwo awọn alaye naa.
- Gbẹkẹle ijẹrisi ẹyọkan. Lo awọn ọna ominira lọpọlọpọ (hashes + SymPy + iye aṣa) lori awọn abajade to ṣe pataki.
- Ko ṣe idanwo awọn agbekalẹ pẹlu awọn ayẹwo kekere. Awọn agbekalẹ ti a ṣe soke ṣubu lẹsẹkẹsẹ ni awọn iye kekere bii n=2, n=3.
- Gbagbe pe kokoro ti wa ni ikede. Aṣiṣe ni ila akọkọ ba gbogbo abajade jẹ; Ti o ba ri aṣiṣe kan, ṣayẹwo lati ibẹrẹ.
Išọra: Ko si ibamu laarin igbẹkẹle AI ati deede rẹ. Awọn gbolohun ọrọ ti o dabi ipinnu ti o ga julọ, ti o dara julọ, ti o "daju" julọ le jẹ aṣiṣe patapata. Gbẹkẹle iṣeduro ominira, kii ṣe ohun orin. Nikan wo abajade “otitọ” nigbati o jẹrisi nipasẹ ọwọ tabi pẹlu ohun elo ipinnu - kii ṣe nitori AI sọ “daju.”
Ni akojọpọ
AI ṣe awọn aṣiṣe ninu mathimatiki nitori pe o jẹ awoṣe ede ti o ṣe agbejade ọrọ ni iṣiro, kii ṣe ẹrọ ti o ṣakoso ọgbọn. Awọn aṣiṣe ṣubu sinu awọn oriṣi akọkọ meje: isiro, ami, ilana ti a ṣe-soke, ilokulo ofin, ọran ti a yọ kuro, aafo ẹri, data ti o duro. Ni mathimatiki, aṣiṣe ti ntan ati dagba, otitọ jẹ alakomeji - nitorina gbogbo igbesẹ gbọdọ jẹri. Ibawi eto: ṣayẹwo gbogbo ohun elo nọmba, gbogbo abajade aami pẹlu SymPy, gbogbo ilana lati orisun, gbogbo ẹri kọja nipasẹ bibeere; Waye ayẹwo, counter-ayẹwo ati idanwo ori ti o wọpọ. Igbẹkẹle AI kii ṣe ẹri ti deede.
Ohun elo iṣẹ-ṣiṣe
Yan iṣoro kan pẹlu ojutu ti ipari alabọde (o kere ju awọn igbesẹ 6-8) ati pe AI yanju rẹ. Lẹhinna ṣe ijẹrisi ọpọlọpọ-Layer nipa lilo awọn ilana 1 ati 4 lati ẹyọ yii: (a) idanwo oye / ipo ti o wọpọ, (b) ṣayẹwo pẹlu SymPy, (c) idanwo lori iye pataki kan. Lẹhinna lọ nipasẹ laini ojutu nipasẹ laini pẹlu oju “sode kokoro” mọọmọ ati ṣayẹwo iru awọn aṣiṣe meje ti o le waye. Ṣe igbasilẹ aṣiṣe kọọkan ti o rii pẹlu iru rẹ.
akojọ ayẹwo
- [] Mo jẹrisi abajade nọmba kọọkan pẹlu ohun elo ipinnu.
- [] Mo ṣayẹwo abajade aami kọọkan pẹlu SymPy.
- [] Mo jẹrisi imọ-ọrọ / agbekalẹ ti a lo lati orisun tabi pẹlu apẹẹrẹ kekere.
- [] Mo lo oye ti o wọpọ / aṣẹ idanwo titobi.
- [] Mo ṣe ayẹwo rẹ ni ọna ominira (laisi gbigbekele ifọwọsi AI funrararẹ).
- [] Nigbati Mo rii aṣiṣe kan, Mo tun ṣayẹwo ojutu naa lati ibẹrẹ.