Vitalik：感到興奮的AI應用之一是AI輔助的代碼形式驗證和錯誤查找

喜來順財經報道，以太坊聯合創始人Vitalik Buterin在社交媒體上稱，讓我感到興奮的人工智能應用之一是人工智能輔助的代碼形式驗證和錯誤查找。目前，以太坊最大的技術風險可能就是代碼中的錯誤，任何能夠顯著改變這一游戲規則的技術都將令人驚嘆。