Виталик Бутерин: ИИ упростит поиск ошибок в смарт-контрактах