„Ethereum“ „Buterin“ pavadinimai įdomiausia AI programa

Neseniai paskelbtame socialiniame tinkle „Ethereum“ įkūrėjas Vitalikas Buterinas pabrėžtas dirbtinio intelekto (AI) potencialas keičia Ethereum tinklo kodo tikrinimo ir klaidų identifikavimo būdą. 

Buterinas išreiškė entuziazmą dėl AI padedamo oficialaus kodo patikrinimo, nurodydamas, kad didžiausia techninė rizika, su kuria šiandien susiduria Ethereum, kyla dėl kodo klaidų. 

Jis mano, kad dirbtinio intelekto integravimas į kūrimo procesą galėtų žymiai sumažinti šią riziką, užtikrinant saugesnę ir patikimesnę blokų grandinės infrastruktūrą.

Paaiškinta AI padedama kodo patikra

Buterino jaudulio pagrindas yra dirbtinio intelekto padedamo formalaus patikrinimo koncepcija – procesas, galintis dramatiškai pakeisti blokų grandinės saugumo ir efektyvumo aplinką. 

Formalus patikrinimas reiškia matematinių modelių naudojimą siekiant įrodyti arba paneigti sistemos pagrindinių algoritmų teisingumą, užtikrinant, kad jie visomis įmanomomis sąlygomis veiktų tiksliai taip, kaip numatyta. 

Šiame kontekste pasitelkę dirbtinį intelektą, kūrėjai gali automatizuoti ir pagerinti išmaniųjų sutarčių ir kitų su blokų grandine susijusių kodų klaidų ir pažeidžiamumų aptikimą, taip užkertant kelią brangiems išnaudojimams ir gedimams. 

Šis metodas ne tik žada pagerinti Ethereum blokų grandinės tvirtumą, bet ir yra reikšmingas žingsnis į priekį platesnėje programinės įrangos kūrimo srityje, kur klaidos ir saugumo trūkumai tebėra dažnas iššūkis.

Įspūdingi Buterino AI veiksmai  

Kaip pranešė U.Today, Buterinas taip pat pademonstravo savo sąmojį su humoru pažvelgdamas į AI technologijos evoliuciją. Žaismingu įrašu jis supriešino dramatišką, dažnai grėsmingą AI vaizdavimą filmuose su šiandienos pokalbio AI tikrove.

Tačiau jis anksčiau išreiškė susirūpinimą dėl egzistencinės rizikos, kurią kelia superinteligentiškas dirbtinis intelektas, teigdamas, kad nekontroliuojama dirbtinio intelekto pažanga gali lemti rezultatus, kai žmonės nebėra dominuojanti jėga.

Anot Buterio, suartėję AI ir blokų grandinės naudojimo atvejai suteikia didelį potencialą, ypač kai dirbtinis intelektas yra integruotas į esamus mechanizmus, siekiant pagerinti mikro masto operacijas, o tai yra daug žadanti ir nesudėtinga įgyvendinti. Tačiau „singleton“ – vieno, decentralizuoto, patikimo dirbtinio intelekto sukūrimas naudojant „blockchain“ ir kriptografinius metodus – kelia didelių iššūkių ir pavojų.