ChainCatcher 消息，以太坊創始人 Vitalik Buterin 發文稱，不同意「AI 黑客意味着網絡安全註定失敗」的常見觀點。他認為，一旦人們理清思路，網絡安全天然偏向防禦方，任何繼續持有加密貨幣的人（包括他本人約 90% 淨資產）都在隱含押注這一點。

Vitalik 表示：若 AI 能證明納維-斯托克斯方程和費馬大定理，就能將「該程序是安全的」作為數學定理加以證明，即使程序非常複雜。他以加密通訊應用 Signal 為例說明「安全」定義極為複雜，涵蓋僞造消息、主動干擾、服務器被攻破、密鑰泄露、硬件側信道等。定義比實現攻擊面更小且可疊加，驗證定義是否充分比直接掃描代碼更可行。

他指出，歷史上失敗常因只驗證自認的安全關鍵部分而忽略其餘代碼。如今須驗證整個程序，包括數據庫、網絡和緩存層，現代 AI 可以做到。這並非比拼誰先發現漏洞，而是讓代碼本身更有韌性。Vitalik 稱，這是以太坊未來幾年的方向，沒有這一步，尤其是具備可擴展性和隱私的區塊鏈沒有未來，需要讓軟件真正安全，且已取得大量進展。