Vitalik：令人興奮的人工智能應用程序之一是人工智能輔助的代碼形式驗證和錯誤查找

人工智 人工智能 代碼 形式驗證 智能應用 2024-02-19 61

火幣HTX報道，以太坊聯合創始人Vitalik buterin在社交媒體上說，讓我興奮的人工智能應用程序之一是人工智能輔助的代碼形式驗證和錯誤搜索。目前，以太坊最大的技術風險可能是代碼中的錯誤，任何能顯著改變游戲規則的技術都將令人驚嘆。