Vitalik 反駁 AI 黑客將導致網絡安全崩潰的觀點，強調 AI 可驗證程序安全性

以太坊（Ethereum）共同創辦人 Vitalik Buterin 發文反駁 AI 黑客將摧毀網絡安全的說法。他認為網絡安全本質上對防禦方有利，並指出若 AI 能證明複雜的數學定理，同樣能將「程序安全性」作為數學定理進行驗證。他強調，雖然安全定義包含多種攻擊場景，但其定義遠比實現代碼的攻擊面小，且更容易被驗證。