Vitalik反駁AI黑客將讓網絡安全崩潰的觀點，強調AI能驗証整個程序安全性

據PANews發布，PANews 9月17日消息，Vitalik 發文反駁“AI 黑客會讓網絡安全徹底崩潰”的觀點。他表示，網絡安全本質上是防禦有利的，只要認眞做好工作。自己繼續持有加密貨幣（約凈資產 90%），就是在押注這一點。Vitalik 認為，如果 AI 能証明納維-斯託克斯方程和費馬大定理，那麼它也能把“這個程序是安全的”作為數學定理來証明，哪怕程序很復雜。“安全”的定義本身很復雜，包含多種攻擊場景（偽造、重放、服務器被攻破、密鈅洩露、側信道等），但定義遠比實現代碼的攻擊面小，也更容易被驗証。過去只驗証“自認為安全關鍵”的部分容易失敗。