Ethereums Buterin kårer den mest spennende AI-applikasjonen

I et nylig innlegg på sosiale medier, Ethereums medgründer Vitalik Buterin stresset potensialet til kunstig intelligens (AI) i å revolusjonere måten kode verifiseres på og feil identifiseres i Ethereum-nettverket. 

Buterin uttrykte sin entusiasme for AI-assistert formell verifisering av kode, og påpekte at den største tekniske risikoen Ethereum står overfor i dag stammer fra feil i koden. 

Integreringen av AI i utviklingsprosessen, mener han, kan redusere disse risikoene betydelig, og sikre en sikrere og mer pålitelig blockchain-infrastruktur.

AI-assistert kodeverifisering forklart

I hjertet av Buterins begeistring er konseptet med AI-assistert formell verifisering, en prosess som dramatisk kan endre landskapet med blokkjedesikkerhet og effektivitet. 

Formell verifisering refererer til bruk av matematiske modeller for å bevise eller motbevise riktigheten av et systems underliggende algoritmer, for å sikre at de oppfører seg nøyaktig som tiltenkt under alle mulige forhold. 

Ved å utnytte AI i denne sammenhengen kan utviklere automatisere og forbedre oppdagelsen av feil og sårbarheter i smarte kontrakter og annen blokkjederelatert kode, og potensielt forhindre kostbare utnyttelser og feil. 

Denne tilnærmingen lover ikke bare å forbedre robustheten til Ethereums blokkjede, men representerer også et betydelig skritt fremover i det bredere feltet av programvareutvikling, hvor feil og sikkerhetsfeil fortsatt er en gjennomgripende utfordring.

Buterins fascinerende kunstig intelligens  

Som rapportert av U.Today, viste Buterin også sin vidd med et humoristisk syn på utviklingen av AI-teknologi. Gjennom et lekent innlegg kontrasterte han den dramatiske, ofte truende fremstillingen av AI i filmer med virkeligheten til dagens konversasjons-AI.

Imidlertid har han tidligere gitt uttrykk for bekymringer om den eksistensielle risikoen superintelligent AI utgjør, og antydet at ukontrollerte fremskritt innen AI kan føre til utfall der mennesker ikke lenger er den dominerende kraften.

I følge Buterin tilbyr konvergerende brukstilfeller av AI og blockchain et betydelig potensiale, spesielt når AI er integrert i eksisterende mekanismer for å forbedre mikroskalaoperasjoner, som viser seg å være både lovende og enkle å implementere. Opprettelsen av en «singleton» – en enkelt, desentralisert, pålitelig AI gjennom blokkjede og kryptografiske teknikker – byr på betydelige utfordringer og risikoer.