Nkeji 3 / 11

Nkwado nyocha nkwekọrịta Smart: Nleba nchekwa na nchọpụta Draft

Uru:

  • Ikike ịghọta na ọgụgụ isi mmadụ na-agbasawanye ohere nke onye nyocha, mana ọ naghị edochi ya, ọ bara uru na nyocha ụdị na ịchọta nhazi.
  • Inwe ike ịghọta na ọgụgụ isi mmadụ agbagharala ọghọm mbụ yana njehie mgbagha azụmaahịa, yana na nkwupụta 'echekwabara' nke ọma abụghị mmesi obi ike.
  • Ikike nkewa nchoputa dị ka ọkwa ha siri dị mkpa ma ghọta na nkwenye ikpeazụ na ọrụ ọkachamara dị n'aka onye nyocha tozuru oke.

Nleba nchekwa (nyocha usoro nke nkwekọrịta smart maka adịghị ike) bụ ọrụ Web3 kacha arụ ọrụ. Otu ahịrị nke onye nyocha tụfuru nwere ike ibute ọtụtụ nde dollar na mfu. Na ngalaba a, ị ga-amụta otu esi eji AI dịka onye enyemaka nyocha; Anyị ga-amụta site n'ịmepụta akara na-edepụta ihe nchọta. Ma ahịrịokwu kachasị njọ bụ nke a: AI anaghị achịkwa; Ọ bụ onye inyeaka na-amụ anya onye nyocha. Nkwenye ikpeazụ dị n'aka onye nyocha tozuru etozu bụ onye were ọrụ ọkachamara.

Ihe kpatara nyocha nyocha ji dị oke egwu

Otu akụkọ nyocha na-emesi ọrụ ahụ obi ike na ndị na-etinye ego na "a nyochaala koodu a." Ọ bụrụ na mmesi obi ike a bụ ụgha, ihe ga-esi na ya pụta bụ ọdachi: ụkpụrụ arụrụ arụ, ego efu, ọrụ dara ada. Ya mere, iji AI na nyocha bụ akụkụ kachasị nlezianya nke modul a. AI na-agbasawanye ohere nke onye nyocha (na-echeta ọtụtụ ụkpụrụ, na-agụ ngwa ngwa) ma ọ dịghị edochi onye nyocha.

Gịnị kpatara na ọ naghị agafe? N'ihi na:

  • AI enweghị ike ịhụ adịghị ike pụrụ iche / ọhụrụ nke na-anọghị na data ọzụzụ.
  • AI na-atụkarị ntụpọ dị na mgbagha azụmahịa nke protocol-na koodu ahụ ziri ezi na teknụzụ mana ọ na-erigbu akụ na ụba.
  • AI nwere ike inye mmesi obi ike ụgha site n'ịsị "nchekwa" n'asụsụ ọkaibe; Nke a bụ nsonaazụ kacha dị ize ndụ.

Layers nke iji AI na-achịkwa

1. Nyocha mbụ na ihe ncheta ụkpụrụ. AI na-aga n'ụkpụrụ adịghị ike ama ama dị ka ndepụta nlele: nlọghachi azụ, njikwa ohere, njikwa okwu, ịgba ọsọ n'ihu. Nke a na-eme ka o doo anya na onye na-enyocha ihe agaghị echefu edemede ọ bụla.

2. Nkọwa koodu. Ịkọwapụta ọrụ mgbagwoju anya na AI n'asụsụ dị larịị na-enye ohere ka onye nyocha ahụ ghọta ngwa ngwa; ma a na-atụnyere nkọwa ahụ mgbe niile na koodu.

3. Ide a draft nke nchoputa. Mgbe onye nyocha ahụ chọtara adịghị ike, AI na-echekwa oge n'ide ederede nke akụkọ (nkọwa, mmetụta, ngwọta a tụrụ aro).

4. Na-emepụta counter-hypothesis. Jụọ AI "olee otu esi emejọ ọrụ a?" Ịjụ" na-echetara anyị echiche ike ike.

Ntị: Naanị n'ihi na AI na-ekwu "Ahụghị m adịghị ike ọ bụla na koodu a" apụtaghị "koodu adịghị mma". Ihe akaebe nke enweghị isi abụghị enweghị ihe akaebe. Eziokwu ahụ bụ na AI enweghị ike ịchọta ihe adịghị eme ka ọ ghara ịdị mkpa ka onye nyocha nyochaa mpaghara ahụ.

Ịchọta ọkwa dị njọ

A na-ekewa nchoputa nyocha dịka ogo ogo ha siri dị. AI kwesịrị iji usoro a mgbe ị na-emepụta ihe:

Ọkwa

Pụtara

ihe atụ

nkatọ

Mfu ego/mkpọchi ga-ekwe omume ozugbo

Ịwepụ ego na ntinyeghachi azụ

elu

Mmetụta siri ike na ọnọdụ ụfọdụ

Mbipụta na-akwadoghị (mint)

ọkara

Mmetụta dị oke ma ọ bụ ọnọdụ siri ike

Obere mfu nwere mgbagha Oracle

ala

Obere ihe ize ndụ, imebi omume ọma

Mgbasa ozi mmemme na-efu

Ozi

Enweghị nchekwa, ịgụ ihe

Enweghị NatSpec

Ngwa ngwa adịghị ike / Ike siri ike

Ngwa ngwa adịghị ike:

Nkwekọrịta a ọ dị mma?

Ajụjụ a na-amanye AI ime mkpebi zuru oke, enweghị nkwado dịka "ee / mba" - kpọmkwem ihe anyị achọghị.

Mgbasa ozi siri ike:

Ọrụ gị: onye na-enyere ndị na-ahụ maka nkwekọrịta smart smart. Nyochaa nkwekọrịta ndị a maka nchekwa. Gaa n'ime edemede ndị a otu otu: nlọghachi azụ, njikwa nnweta, arụmọrụ integer, ntinye ntinye, data oracle/mpụta, ịgba ọsọ n'ihu, oke gas. Maka Nchọta nke ọ bụla: (1) ahịrị koodu dị mkpa, (2) butere ihe egwu, (3) atụmatụ siri ike (Critical/High/Medium/Low), (4) atụmatụ ngwọta. Ndị a bụ EKWU OKWU GA-KWESỊRỊ; E nyela mkpebi "mma". Kanye akara n'akụkụ ndị ị na-ejighị n'aka na ị ga-ekwu nke ọma "ka onye nyocha kwadoro".

Ndebiri anọ enwere ike iṅomi

1) Nchọgharị dabere na ngalaba:

Nyochaa nkwekọrịta a maka ụdị ndị a: nlọghachi azụ, njikwa ohere, njupụta integer, nkwado ntinye, ịdabere n'ọnụ, ịgba ọsọ n'ihu, DoS/gas. Maka udi nke ọ bụla, kwuo "enwere / enweghị ihe egwu / ejighi m n'aka" wee jikọọ nkwenye gị na ahịrị dị na koodu ahụ. Emela ikpe ikpeazụ.

2) Counter-hypothesis site n'echiche onye mwakpo:

Chee echiche dị ka onye na-awakpo: kedu ụzọ isi mebie ọrụ a? Dee ọnọdụ ọ bụla site na nzọụkwụ wee gosi ọnọdụ ndị achọrọ. Ihe ndapụta ndị a bụ echiche a ga-anwale; ewepụtala koodu nrigbu n'ezie, kọwaa ihe egwu dị.

3) Akuko nchoputa ihe omimi:

Kpesa nchoputa enwetara nke a n'asụsụ nyocha nkịtị: aha, ogo, nkọwapụta, mmetụta, koodu emetụtara, usoro iji mepụtagharị, ngwọta atụpụtara. Jiri asụsụ atụnyere na nka; ikwubiga okwu ókè. Were ya na onye nyocha kwadoro nchoputa ahụ, emela nchọpụta ọhụrụ.

4) Dozie nkwenye:

N'okpuru ebe a bụ adịghị ike na ndozi nke onye nrụpụta na-etinye. Nyochaa ma ndozi ahụ na-emechi n'ezie adịghị ike; akara ma ọ na-emepụta mmetụta ọhụrụ ma ọ bụ adịghị ike. Asịla "mechiri emechi" n'ezie; Mechie ya na "a ga-enwerịrị nnwale site na nnwale".

Obere ikpe atọ (na ọnụọgụgụ)

Ikpe 1 - AI gbochiri ụdị hopping. Onye na-enyocha ihe na-achọ ilekwasị anya na nkwekọrịta nwere ahịrị 400 wee mafe ngalaba okwu. Ụdị nyocha nke AI nyere ịdọ aka ná ntị na "data ọnụahịa sitere n'otu ebe, na-emeghe iji megharịa". Onye nyocha ahụ nyochara ya wee chọpụta na ọ bụ n'ezie ihe egwu dị oke egwu. Ihe nkuzi: AI na-edobe ịdọ aka ná ntị mkpuchi.

Ikpe 2 - Nkwenye ụgha "nchekwa". Otu ọzọ jụrụ AI "nke a ọ dị mma?" ọ jụrụ; "O yighị ka enwere nnukwu nsogbu," AI kwuru. Nlele ndị ọrụ ụgbọ mmiri ahụ dị ọkụ. Mgbe ahụ, onye nyocha nke onwe ya chọtara ntụpọ-echiche nke azụmahịa: ngụkọ nke ziri ezi na teknụzụ mana nke mkpali ya nwere ike irigbu. Ihe nkuzi: AI na-atụfu njehie mgbagha azụmahịa; Enweghị ike ịtụkwasị ya obi ịsị "nchekwa".

Ikpe 3 - Ịdepụta akụkọ ahụ echekwara awa 3. Onye nyocha ahụ nọ na-eji ọkara ụbọchị jiri aka na-akọ nchoputa 8. Ozugbo m nyere AI nchoputa enwetara ma bipụta akwụkwọ gọọmentị, oge dara ~ 3 awa; Onye nyocha ahụ wepụtara oge iji mekwuo nke ọma. Ihe nkuzi: AI dị mma yana ịrụ ọrụ nke ọma n'ịkọ akụkọ n'ihi na achọpụtala nchoputa ahụ n'aka mmadụ.

Ọdịmma mgbagha azụmahịa: ntụpọ AI

Ihe ọghọm dị oke ọnụ na-abịakarị ọ bụghị site na njehie teknụzụ na koodu ahụ, mana site na iji mgbagha nke azụmahịa: ịgbakọ nrigbu nke akaụntụ ụgwọ ọrụ, mgbake mbinye ego nke votu, ngbanwe ozugbo nke ọnụahịa. Ndị a bụ ikpe ebe koodu na-arụ ọrụ "nke ọma" mana enwere ike ịghọgbu usoro akụ na ụba. O yikarịrị ka AI ọ ga-atụfu njehie ndị dị otú ahụ-karịsịa ndị akọwapụtara-protocol. Ya mere, nyocha mgbagha azụmahịa bụ mpaghara kachasị emetụta mmadụ nke onye nyocha na nke kachasị dabere na AI.

Ndụmọdụ: Jụọ AI "kedu ka enwere ike isi jiri ihe mkpali akụ na ụba nke usoro a mee ihe?" ma jiri ọnọdụ ndị na-apụta dị ka mmalite - mana cheta na gị na ndị otu gị kwesịrị ime nyocha ahụ n'ezie.

Mmejọ ndị nkịtị

  • Jụọ AI "ọ dị mma?" Na-arịọ na ntụkwasị obi ee gị. Achọghị ikpe zuru oke.
  • Ịkwụsị nyochaa mgbe AI na-ekwu "Enweghị m ike ịchọta ya". Ọ dịghị ihe àmà.
  • Nyefee nyocha echiche azụmaahịa na AI. Ọ bụ nnukwu ntụpọ ya.
  • Anaghị eji ngwaọrụ nọọrọ onwe ya (Slither wdg). AI naanị ezughi oke.
  • Itinye nchoputa nke AI mere n'ime akuko a na-egosighi ya. Ihe ize ndụ nke ịhụ anya.
  • Na-agbalị itinye ọrụ nchịkwa na AI. Ọrụ dị n'aka ọkachamara.

Na nchịkọta

  • Audit bụ nchekwa-dị oke mkpa; AI na-agbasawanye oghere onye nyocha mana ọ naghị edochi ya.
  • AI na-atụfu ihe ọghọm mbụ na ahụhụ mgbagha azụmahịa; Ịsị "nchekwa" abụghị mmesi obi ike.
  • A na-ekewa nchoputa dịka ọkwa siri ike; AI bara uru n'ịmepụta eserese.
  • Counter-hypothesis na ụdị nyocha na-echekwa ịdọ aka ná ntị nke nsonye.
  • Nkwenye ikpeazụ na ọrụ ọkachamara na-adabere mgbe niile na onye nyocha tozuru etozu.

Ọrụ ngwa

Chọta nkwekọrịta nlele nke nwere adịghị ike ama ama (maka ebumnuche mmụta, ọmụmaatụ nke "nkwekọrịta ndị na-adịghị ike" dị na ebe mepere emepe). Tinye ngwa ngwa "nyocha dabere na ngalaba" na AI. Rịba ama ma AI: (1) chọtara ihe adịghị ike n'ezie, (2) mepụtara nchoputa echepụtara / ụgha, (3) mere mkpebi zuru oke dịka "nchekwa". Wee were ya tụnyere ngwa nyocha static.

ndetu

  • [ ] Jụọ AI "ọ dị mma?" Kama, enwere m nyocha nke dabere na otu.
  • [ ] Ahụrụ m nchoputa ọ bụla dị ka echiche.
  • [] Emere m echiche azụmaahịa ahụ nyocha onwe m / otu.
  • [ ] Eji m ngwaọrụ nyocha static guzoro onwe ya wee kwado ya.
  • [] Ekwenyela m na AI adịghị emepụta nchoputa.
  • [ ] Ekewara m ihe nchoputa ahụ dabere n'ogo siri ike.
  • [] Ekwenyere m na nkwenye ikpeazụ dị n'aka onye nyocha tozuru oke.