Buterin на Ethereum определя най-вълнуващото AI приложение

В скорошна публикация в социалните медии, съоснователят на Ethereum Виталик Бутерин подчерта, потенциалът на изкуствения интелект (AI) за революция в начина, по който се проверява кодът и се идентифицират грешки в мрежата на Ethereum. 

Бутерин изрази ентусиазма си за формалната проверка на кода с помощта на AI, като посочи, че най-големият технически риск, пред който е изправен Ethereum днес, произтича от грешки в неговия код. 

Интегрирането на AI в процеса на разработка, според него, може значително да смекчи тези рискове, като гарантира по-сигурна и надеждна блокчейн инфраструктура.

Обяснена е проверката на кода с AI

В основата на вълнението на Бутерин е концепцията за формална проверка, подпомагана от изкуствен интелект, процес, който може драматично да промени пейзажа на сигурността и ефективността на блокчейн. 

Официалната проверка се отнася до използването на математически модели за доказване или опровергаване на правилността на основните алгоритми на системата, като се гарантира, че те се държат точно както е предвидено при всички възможни условия. 

Използвайки AI в този контекст, разработчиците могат да автоматизират и подобрят откриването на грешки и уязвимости в интелигентни договори и друг код, свързан с блокчейн, потенциално предотвратявайки скъпоструващи експлойти и неуспехи. 

Този подход не само обещава да подобри устойчивостта на блокчейна на Ethereum, но също така представлява значителна стъпка напред в по-широката област на разработката на софтуер, където грешките и пропуските в сигурността остават широко разпространено предизвикателство.

Очарователният AI на Бутерин  

Както беше съобщено от U.Today, Бутерин също демонстрира остроумието си с хумористичен поглед върху еволюцията на AI технологията. Чрез закачлива публикация той противопостави драматичното, често заплашително изобразяване на ИИ във филмите с реалността на днешния разговорен ИИ.

Въпреки това, преди това той изрази загриженост относно екзистенциалните рискове, породени от суперинтелигентния AI, предполагайки, че неконтролираният напредък в AI може да доведе до резултати, при които хората вече не са доминиращата сила.

Според Бутерин конвергентните случаи на използване на AI и blockchain предлагат значителен потенциал, особено когато AI е интегриран в съществуващи механизми за подобряване на операциите в микромащаб, което се оказва едновременно обещаващо и лесно за прилагане. Въпреки това, създаването на „singleton“ – единичен, децентрализиран, доверен AI чрез блокчейн и криптографски техники – представлява значителни предизвикателства и рискове.