Vitalik：一個令人興奮的人工智能應(yīng)用程序是人工智能輔助的代碼形式驗證和錯誤搜索
以太坊聯(lián)合創(chuàng)始人Vitalik金融報道 Buterin在社交媒體上表示，令我興奮的人工智能應(yīng)用程序之一是人工智能輔助的代碼形式驗證和錯誤搜索。目前，以太坊最大的技術(shù)風(fēng)險可能是代碼中的錯誤，任何能顯著改變游戲規(guī)則的技術(shù)都將令人驚嘆。
版權(quán)聲明：本站所有文章皆是來自互聯(lián)網(wǎng),如內(nèi)容侵權(quán)可以聯(lián)系我們刪除！
