2026年十月，在新加坡舉行的 OKX NOW 大會上，Ethereum 共同創辦人維塔利克·布特林表示：任何有漏洞的系統遲早都會被人工智慧攻破。GPT-7、Claude 7 和 DeepSeek 7 都會找到它，正如現有的攻擊與入侵案例所顯示的那樣。
據他所說，人工智慧同時增強了攻擊方與防禦方。它幫助 Ethereum 尋找協議中的錯誤、重現漏洞，並透過形式化驗證引入複雜的密碼學。過去屬於可選項的稽核與測試，如今正變成強制性要求。
對加密貨幣持有者而言，這意味著信任邏輯本身的轉變。如果說過去可以依賴專案的聲譽或隨機的檢查，那麼如今漏洞將被自動且迅速地發現。沒有數學證明其安全性的專案，可能在漏洞被發現後的短短幾天內就失去投資人的資金。
這裡的隱藏誘因顯而易見：不投資於形式化驗證的開發者，今天省下了成本，明天卻要付出聲譽和資本外流的代價。而那些導入嚴格標準的人，則在用戶眼中獲得了競爭優勢——對這些用戶來說，存款的保全比開發速度更重要。
想像一下銀行的保險箱：過去只要有堅固的鎖和警報系統就足夠了，如今構造中的任何一道微小裂痕都會被智慧掃描器發現。在區塊鏈的世界裡，人工智慧正成為這樣的掃描器，而形式化驗證已不再是奢侈品，而是基石。
因此，向強制性安全的轉變不僅改變了技術層面，也改變了持有數位資產的心理：投資人開始更看重可證明的穩健性，而非潛在的收益。
