Vitalik：AI技術輔助的程式碼形式驗證和漏洞發現很有意義

BlockBeats 消息，2 月 19 日，以太坊聯合創始人 Vitalik Buterin 於社交平台發文稱，「我對一種應用人工智慧的技術感到興奮，那就是 AI 輔助的程式碼形式驗證和漏洞發現。 目前以太坊最大的技術風險可能是程式碼中的漏洞，任何能夠顯著改變這種情況的技術都將是了不起的。 」