Uru:
- Ikike ịmata ọdịiche ebe ọgụgụ isi na-echekwa oge na mgbakọ na mwepụ (atụmatụ, edemede, ndezi) yana ebe achọrọ nkwenye (ngụkọta ọnụ, nkwado nke akaebe) dịka ọkwa dị ize ndụ.
- Nwee ike ịmata ka ịhụhụ n'anya na-esi ebili na mgbakọ na mwepụ (usoro emebere, nzọụkwụ na-ezighi ezi, usoro adịghị adị) wee ghọta ihe kpatara na ụdị asụsụ abụghị ihe mgbako.
- Ikike iji mejuputa usoro ọrụ nke na-enyocha mmepụta nke ọ bụla site na iji usoro nzọụkwụ site na nzọụkwụ, nkwenye ngwá ọrụ na-achọpụta na ịdọ aka ná ntị nyocha.
Mgbakọ na mgbakọ na mwepụ bụ mpaghara ebe otu akara na-ezighi ezi gosipụtara nsonaazụ ya niile. Ichefu akara mwepu dị n'ime ihe dị mkpa, na-awụpụ nzọụkwụ "doro anya" na ihe akaebe, ma ọ bụ iji okwu na-ezighi ezi na usoro-ha niile na-emebi nsonaazụ ya kpamkpam. Ya mere iji ọgụgụ isi (AI) na mgbakọ na mwepụ chọrọ ịdọ aka ná ntị nke ọma karịa n'ọtụtụ mpaghara ndị ọzọ. Na nkeji a, anyị ga-enyocha ebe ngwaọrụ anyị na-akpọ nnukwu asụsụ ụdị (LLM - Large Language Model; ụdị ọgụgụ isi nke na-emepụta ederede site na ịkọ ọnụ ọgụgụ) n'ezie na-echekwa oge na mgbakọ na mwepụ na ebe ha nwere ike ịdị ize ndụ; na ị ga-amụta otú iji nyochaa onye ọ bụla mmepụta nzọụkwụ site nzọụkwụ.
Nke mbụ, echiche doro anya: Hallucination bụ mgbe AI na-emepụta ozi na-abụghị eziokwu, na obi ike zuru oke, dị ka a ga-asị na ọ bụ eziokwu. Na mgbakọ na mwepụ, nke a na-abịa n'ụdị aha usoro ihe omume emebere, usoro algebra na-ezighi ezi, ma ọ bụ usoro na-adịghị adị. Isi ihe dị mkpa bụ nke a: LLM abụghị ihe mgbako. Ọ bụ ihe na-emepụta ihe ederede na-ebu amụma "okwu kachasị ele anya na-esote." Ọ na-emepụta mgbakọ na mwepụ ziri ezi ọtụtụ oge n'ihi na ọ hụla ọtụtụ mgbakọ na mwepụ ziri ezi na data ọzụzụ; ma ihe dị iche n'etiti "ezigbo ọtụtụ oge" na "eziokwu mgbe niile" bụ ihe niile na mgbakọ na mwepụ.
Ebee ka ọgụgụ isi artificial na-arụ ọrụ na mgbakọ na mwepụ na kedu ebe ọ na-adịghị?
Chee echiche banyere AI dị ka ụkpụrụ nwere ọgụgụ isi na onye mmekọ echiche: ngwa ngwa mana a ga-enyocharịrị ya. Ihe dị iche na-esonụ bụ ọkpụkpụ azụ nke modul a.
Achọ
Ntinye aka AI
ọrụ mmadụ
Ịchọ ụzọ isi dozie nsogbu
Na-akwado atụmatụ ngwọta dị iche iche
Ịhọrọ na mejuputa atumatu ziri ezi
Ihe mgbako algebra/ ihe atụ
Na-emepụta ihe osise, na-edozi nha anya ngwa ngwa
Jiri SymPy ma ọ bụ jiri aka kwado nzọụkwụ ọ bụla
ihe akaebe
Na-enye usoro na echiche
Na-enyocha mgbanwe ezi uche dị na ya ọ bụla
ngụkọta oge
Ọ na-ede koodu Python
Gbaa koodu ahụ wee kwado nsonaazụ ya
anya
Na-emepụta koodu eserese
Ịhụ eserese ahụ na-egosipụta mgbakọ na mwepụ
Ọgbọ nkuzi/ajụjụ
Na-emepụta ihe osise, sample, ihe ndọpụ uche
Kwenye izi ezi na izi ezi nkuzi
Dị ka usoro isi aka: jiri AI chọta ma dezie ụzọ na akaụntụ ahụ, ọ bụghị akaụntụ ahụ n'onwe ya; Jiri ngwa nbibi chọpụta nsonaazụ ya mgbe niile (SymPy, mgbako, nlele akwụkwọ ntuziaka). "Kpebisie ike" ebe a pụtara "na-enye otu ihe na nke ziri ezi mgbe niile na otu ntinye"; Ọbá akwụkwọ mgbakọ ihe atụ dịka SymPy dị ka nke a, LLM abụghị.
Nzọụkwụ site na nzọụkwụ: nchekwa AI na-arụ ọrụ na mgbakọ na mwepụ
1. Kọwaa nsogbu ahụ nke ọma. Ajụjụ na-edoghị anya na-eweta azịza doro anya. Kama “Tulee nke a integral,” sịnụ “Dezie ihe na-adịghị agwụ agwụ integral ∫ x·e^x dx nzọụkwụ site nzọụkwụ site na akụkụ nke mwekota ma gosi nzọụkwụ ọ bụla.”
2. Rịọ maka ngwọta nzọụkwụ site na nzọụkwụ. Rịọ AI maka usoro etiti, ọ bụghị naanị nsonaazụ. Nzọụkwụ bụ naanị ụzọ ị ga-esi jide njehie ahụ.
3. Nyochaa na ngwaọrụ onwe. Kwado nsonaazụ ihe atụ na SymPy yana nsonaazụ ọnụọgụ na ngụkọ. Nke a bụ ụkpụrụ etiti nke modul a.
4. Nleba anya. Weghachite nsonaazụ nke mwepu site na ijikọ; dochie mgbọrọgwụ nke nha anya; lelee ma enwere ike dị n'etiti 0 na 1. Mgbakọ na mgbakọ na mwepụ juputara na ngwaọrụ maka njide onwe onye.
5. Na-enwe obi abụọ. Mgbe AI na-ekwu "okwu a na-ekwu", kwado aha na nkwupụta nke theorem site na isi iyi a pụrụ ịdabere na ya. Aha theorem emebere na-adịkarị.
Ndụmọdụ: Jụọ mmepụta AI ọ bụla "kedu ka m ga-esi lelee nke a n'onwe ya?" Were ajụjụ bịaruo nso. Na mgbakọ na mwepụ, ihe fọrọ nke nta ka ọ bụrụ nsonaazụ ọ bụla nwere ụzọ nkwenye: mkparịta ụka na-emepụta ihe, nnọchi radical, nyocha akụkụ, oke ikpe. Ọ bụrụ na ịnweghị ike ịchọta ụzọ nkwenye, atụkwasịla nsonaazụ ya.
Obere ikpe atọ
Ikpe 1 — Mebere-theorem. Onye nkuzi na-ajụ AI "site n'echiche dị aṅaa ka m ga-eji gosipụta ahaghị nhata a?" ọ jụrụ. AI tụpụtara ụkpụrụ na-adịghị adị nke a na-akpọ " ahaghị nhata Hölmgren-Bernoulli" wee kwupụta nkwupụta na-ekwenye ekwenye. Mgbe onye nkuzi nyochara aha ahụ na akụrụngwa mgbakọ na mwepụ, ọ nweghị ihe ọ pụtara. Ezigbo ngwọta bụ ahaghị nhata nke Cauchy-Schwarz oge gboo. Oge efu: nkeji 20; Mana ọ bụrụ na ọ bụghị maka omume inyocha eziokwu, a ga-ebuga ozi na-ezighi ezi na nkuzi.
Ikpe 2 - Njehie mgbaama. Nwa akwụkwọ injinia jụrụ AI maka nsonaazụ ∫ (2x - 3) dx. YZ nyere x² − 3x + C (nke ziri ezi), ma na nzọụkwụ ọzọ, mgbe ọ na-agbakọ kpọmkwem integral [0,2], o dochiri −3·2 na +6 wee nweta −2 kama 10. Nwa akwụkwọ ahụ lere nsonaazụ ya site na-ewere usoro; Ọ jidere mmejọ ahụ na nkeji 2.
Ikpe 3 - Nkwenye nwetara. Otu onye nkuzi ụlọ akwụkwọ sekọndrị jụrụ AI ka ọ wepụta ajụjụ nhata quadratic maka ule ajụjụ iri na ise. Ọ bụ ezie na ịkpa ókè dị njọ na 2 nke ajụjụ 15, AI nyere "ezigbo mgbọrọgwụ". Onye nkuzi doziri ma tụnye ajụjụ niile na SymPy; Ọ chọpụtara ma dozie njehie 2 na nkeji 5. Enweghị nkwenye, a ga-eji igodo azịza na-ezighi ezi nyochaa ụmụ akwụkwọ.
Ndebiri anọ enwere ike iṅomi
1) Nzọụkwụ site nzọụkwụ na ngwọta nkwenye:
Ọrụ gị: onye enyemaka mgbakọ na mwepụ. Dozie nsogbu na-eso nzọụkwụ site na nzọụkwụ:[nsogbu]. Dee iwu/nkà mmụta ihe ị na-eji na nzọụkwụ ọ bụla. Na njedebe, gwa m n'otu ahịrịokwu ka m ga-esi nyochaa nsonaazụ ya n'adabereghị (dịka ihe mgbagha/integral inverse, mgbọrọgwụ nnọchi). Ọ bụrụ na enwere nzọụkwụ ị na-ejighị n'aka, kaa ya ka "a ga-enyocharịrị usoro a".
2) Theorem/concept nkwenye:
Gwa m gbasara [theorem/concept]. Dee nkwupụta ọkọlọtọ zuru oke nke theorem, aha ya ma ọ bụrụ na ọ dị, yana ọnọdụ ya. Ọ bụrụ na enweghị ọkọlọtọ ụkpụrụ nke aha ahụ, kwuo hoo haa "aha a abụghị ọkọlọtọ" ma emela ya. Kwupụta mpaghara ndị ị na-ejighị n'aka.
3) Nyochaa ngwọta nke m:
N'okpuru bụ ngwọta m. Lelee nzọụkwụ ọ bụla, ọ bụrụ na e nwere ERROR, gosi na nke nzọụkwụ na ihe kpatara ya; Ọ bụrụ na ọ ziri ezi, kwuo "nzọụkwụ a ziri ezi". Edela ihe ngwọta ọhụrụ; Naanị lelee nzọụkwụ m. Ihe ngwọta m: [ebe a]
4) Ntụnye atụmatụ (ọ bụghị akaụntụ):
Tụnye usoro/atụ dị iche iche atọ iji dozie nsogbu na-esote (agbakọla). Dee uru na ọghọm dị na usoro nke ọ bụla n'otu ahịrịokwu. Kwuo nke kacha mma maka nsogbu a na ihe kpatara ya.
Ngwa ngwa adịghị ike / Ike siri ike
Adịghị ike: "Dozie mkpa a: ∫ x·sin(x) dx"
Nsonaazụ: Azịza otu ahịrị; Enweghị usoro etiti, enweghị nkwenye, enweghị mmejọ enweghị ike ijide.
siri ike: "Dozie ihe na-adịghị agwụ agwụ ∫ x·sin (x) dx Ụkwụ na Ụkwụ site na akụkụ nke njikọ. Gosi nhọrọ nke u na dv na nke ọ bụla nzọụkwụ. Na njedebe, dị iche na ya pụta na-elele na-egosi ma ọ na-alaghachi na x·sin (x)."
Nsonaazụ: Nzọụkwụ a na-enyocha, nkwenye arụnyere (nchekwa azụ azụ) yana ikike ịhụ njehie ahụ.
Mmejọ ndị nkịtị
- Iji kpuru ìsì tụkwasị obi na ihe ga-esi na ya pụta. Ụda obi ike nke LLM abụghị nkwa nke izi ezi. Ọbụna ahịrịokwu kacha nwee obi ike nwere ike ịdị njọ.
- Achọghị nzọụkwụ etiti. Mgbe ịchọrọ naanị nsonaazụ, ọ gaghị ekwe omume ijide ndudue ahụ.
- Anaghị enyocha ya na ụzọ deterministic. Ejila rịzọlt ọ bụla egwuri egwu na-enweghị SymPy, mgbako ma ọ bụ akwụkwọ nyocha akwụkwọ ntuziaka.
- Anaghị akwado aha theorem/formula. Aha theorem emebere bụ ụdị nhụsianya kachasị njọ.
- Anaghị enye nkọwa. Ịkpọtụghị ọkwa nwata akwụkwọ na ụzọ ekwere (dịka ọmụmaatụ "iji usoro mmepụta") na-ebute ngwọta na-adịghị mma.
Kpachara anya: Jide n'aka na ị ga-enyocha mmepụta AI tupu ịnyefe ya nwa akwụkwọ ma ọ bụ onye ọrụ ibe ya. Na mgbakọ na mwepụ, ozi na-ezighi ezi na-emepụta agbụ nke mperi ndị ọzọ ruo mgbe edoziri ya. Mwepụta enwetaghị nkwenye abụghị mgbe ọ bụla nnọchi maka nnabata sitere n'aka mmadụ tozuru oke.
Na nchịkọta
Ọgụgụ isi bụ usoro dị ike, atụmatụ na ngwa nhazi na mgbakọ na mwepụ; ma ọ bụghị ihe mgbako ma ọ bụ ihe nleba anya. Ihe ize ndụ nke ịhụ anya dị adị, na otu obere mmejọ na mgbakọ na mwepụ na-agbagha nkwubi okwu ahụ dum. Ya mere, ịdọ aka ná ntị bụ isi doro anya: dozie nzọụkwụ site nzọụkwụ, nyochaa site deterministic ụzọ, countercheck, nkwenye theorems, nọgide na-enwe obi abụọ. Anyị ga-eme ka echiche nkwenye a dị omimi na nkeji ọ bụla n'ime modul a.
Ọrụ ngwa
Họrọ nsogbu mgbakọ na mwepụ siri ike na-agafeghị oke site na ngalaba gị (ihe dị mkpa, usoro nha anya, ma ọ bụ ajụjụ enwere ike). Mee ka AI dozie nzọụkwụ site na nzọụkwụ na template 1 n'elu. Wee nyochaa nsonaazụ ya n'ụzọ nweere onwe ya (mwepụta-inverse inverse, radical nnọchi, ma ọ bụ SymPy). Na opekata mpe otu nzọụkwụ, "M na-eche ma enwere ike inwe mmejọ ebe a?" Kwụsị wee lelee. Dee nchoputa gị na ahịrịokwu 5-6: Ebee ka AI na-arụ ọrụ, ebee ka ọ chọrọ nkwado?
ndetu
- [] Akọwapụtara m nsogbu ahụ n'ụzọ doro anya na n'ọnọdụ ya.
- [] Ajụrụ m AI maka usoro nzọụkwụ site na nzọụkwụ, ọ bụghị naanị nsonaazụ.
- [ ] Eji m ngwá ọrụ deterministic ma ọ bụ aka enyochapụta nsonaazụ ya.
- [] Emeela m opekata mpe otu nyocha (ọdịiche azụ, nnọchi radical, wdg).
- [] Ekwenyela m usoro ihe omume/usoro a si n'ebe a pụrụ ịdabere na ya.
- [ ] Agafebeghị m rịzọlt ọ bụla enyochabeghị.