Vitalik：一個令人興奮的人工智能應(yīng)用程序是人工智能輔助的代碼形式驗證和錯誤搜索
金色財經(jīng)報道，以太坊聯(lián)合創(chuàng)始人Vitalik Buterin在社交媒體上稱，讓我感到興奮的人工智能應(yīng)用之一是人工智能輔助的代碼形式驗證和錯誤查找。目前，以太坊最大的技術(shù)風(fēng)險可能就是代碼中的錯誤，任何能夠顯著改變這一游戲規(guī)則的技術(shù)都將令人驚嘆...
形式驗證
金色財經(jīng)報道，以太坊聯(lián)合創(chuàng)始人Vitalik Buterin在社交媒體上稱，讓我感到興奮的人工智能應(yīng)用之一是人工智能輔助的代碼形式驗證和錯誤查找。目前，以太坊最大的技術(shù)風(fēng)險可能就是代碼中的錯誤，任何能夠顯著改變這一游戲規(guī)則的技術(shù)都將令人驚嘆...