Ethereumin Buterin nimeää jännittävimmän tekoälysovelluksen

Äskettäisessä sosiaalisen median viestissä Ethereumin perustaja Vitalik Buterin stressaantunut tekoälyn (AI) potentiaali mullistaa tapaa, jolla koodi tarkistetaan ja vikoja tunnistetaan Ethereum-verkossa. 

Buterin ilmaisi innostuksensa tekoälyavusteisesta koodin muodollisesta todentamisesta ja huomautti, että suurin Ethereumin nykyinen tekninen riski johtuu sen koodin virheistä. 

Hän uskoo, että tekoälyn integroiminen kehitysprosessiin voisi merkittävästi lieventää näitä riskejä ja varmistaa turvallisemman ja luotettavamman lohkoketjuinfrastruktuurin.

AI-avusteinen koodin vahvistus selitetty

Buterinin innostuksen ytimessä on tekoälyavusteisen muodollisen todentamisen käsite, prosessi, joka voi dramaattisesti muuttaa lohkoketjun turvallisuuden ja tehokkuuden maisemaa. 

Muodollinen verifiointi tarkoittaa matemaattisten mallien käyttöä järjestelmän taustalla olevien algoritmien oikeellisuuden osoittamiseksi tai kumoamiseksi varmistaen, että ne toimivat täsmälleen tarkoitetulla tavalla kaikissa mahdollisissa olosuhteissa. 

Hyödyntämällä tekoälyä tässä yhteydessä kehittäjät voivat automatisoida ja parantaa virheiden ja haavoittuvuuksien havaitsemista älykkäissä sopimuksissa ja muussa lohkoketjuun liittyvässä koodissa, mikä mahdollisesti estää kalliita hyväksikäyttöjä ja epäonnistumisia. 

Tämä lähestymistapa ei ainoastaan ​​lupaa parantaa Ethereumin lohkoketjun kestävyyttä, vaan se on myös merkittävä edistysaskel laajemmalla ohjelmistokehityksen alalla, jossa virheet ja tietoturvavirheet ovat edelleen laaja haaste.

Buterinin kiehtova tekoäly ottaa  

Kuten U.Today raportoi, Buterin esitteli myös älykkyyttään humoristisella otteella tekoälytekniikan kehityksestä. Leikkisillä postauksilla hän asetti elokuvien dramaattisen, usein uhkaavan tekoälyn kuvaamisen nykypäivän keskustelullisen tekoälyn todellisuuteen.

Hän on kuitenkin aiemmin ilmaissut huolensa superälykkään tekoälyn aiheuttamista eksistentiaalisista riskeistä, mikä viittaa siihen, että tekoälyn hallitsemattomat edistysaskeleet voivat johtaa lopputuloksiin, joissa ihminen ei enää ole hallitseva voima.

Buterinin mukaan tekoälyn ja lohkoketjun lähentyvät käyttötapaukset tarjoavat merkittävää potentiaalia, varsinkin kun tekoäly on integroitu olemassa oleviin mekanismeihin mikrotason toimintojen tehostamiseksi, mikä osoittautuu sekä lupaavaksi että yksinkertaiseksi toteuttaa. "Singletonin" – yhden, hajautetun, luotetun tekoälyn luominen lohkoketju- ja salaustekniikoiden avulla – sisältää kuitenkin huomattavia haasteita ja riskejä.