Ethereum's Buterin эң кызыктуу AI колдонмосун атайт

Акыркы социалдык медиа постунда Ethereum негиздөөчүсү Виталик Бутерин баса белгиледи жасалма интеллекттин потенциалы (AI) кодду текшерүү жана Ethereum тармагында мүчүлүштүктөрдү аныктоо жолун өзгөртүүдө. 

Бутерин AI жардамы менен кодду расмий текшерүүгө болгон ынтасын билдирип, Ethereum бүгүнкү күндө эң чоң техникалык тобокелчилик анын кодундагы мүчүлүштүктөрдөн келип чыкканын белгиледи. 

Өнүктүрүү процессине AI интеграциясы, анын ишениминде, блокчейн инфраструктурасынын коопсуз жана ишенимдүү болушун камсыз кылуу менен, бул тобокелдиктерди олуттуу түрдө азайтат.

AI жардамы менен кодду текшерүү түшүндүрүлдү

Бутериндин толкундануусунун өзөгүн AI жардамы менен расмий текшерүү концепциясы түзөт, бул процесс блокчейндин коопсуздугун жана натыйжалуулугун кескин өзгөртө алат. 

Формалдуу текшерүү системанын негизги алгоритмдеринин тууралыгын далилдөө же жокко чыгаруу үчүн математикалык моделдерди колдонууну билдирет, алардын бардык мүмкүн болгон шарттарда так ошондой иштешин камсыз кылуу. 

Бул контекстте AI колдонуу менен, иштеп чыгуучулар акылдуу контракттардагы жана блокчейн менен байланышкан башка коддордогу каталарды жана аялуу жерлерди аныктоону автоматташтыра жана өркүндөтүп, кымбат баалуу эксплуатацияларды жана каталарды алдын алат. 

Бул ыкма Ethereum блокчейнинин бекемдигин гана убада кылбастан, ошондой эле программалык камсыздоону иштеп чыгуунун кеңири чөйрөсүндө алдыга карай олуттуу кадам болуп саналат, мында мүчүлүштүктөр жана коопсуздук кемчиликтери кеңири таралган көйгөй бойдон калууда.

Бутериндин кызыктуу AI алат  

U.Today кабарлагандай, Бутерин ошондой эле AI технологиясынын эволюциясын күлкүлүү кабыл алуу менен өзүнүн акылын көрсөттү. Оюнчу пост аркылуу ал фильмдердеги AIнын драмалык, көбүнчө коркунучтуу сүрөттөлүшүн бүгүнкү баарлашуучу AIнын чындыгы менен карама-каршы койгон.

Бирок, ал буга чейин суперинтеллектуалдуу AI жараткан экзистенциалдык тобокелдиктерге тынчсыздануусун билдирип, AIдагы текшерилбеген жетишкендиктер адамдар үстөмдүк кылуучу күч болбой калган натыйжаларга алып келиши мүмкүн деп болжолдогон.

Бутериндин айтымында, AI жана блокчейнди конвергенттик колдонуу олуттуу потенциалды сунуштайт, айрыкча AI микро масштабдагы операцияларды өркүндөтүү үчүн учурдагы механизмдерге интеграцияланганда, келечектүү да, ишке ашыруу оңой да. Бирок, блокчейн жана криптографиялык ыкмалар аркылуу бирдиктүү, борбордон ажыратылган, ишенимдүү AI - "синглтонду" түзүү олуттуу кыйынчылыктарды жана тобокелдиктерди жаратат.