Vitalik反駁AI黑客將讓網絡安全崩潰的觀點,強調AI能驗證整個程序安全性
日期:2026年9月17日 上午8:37PANews 9月17日消息,Vitalik 發文反駁「AI 黑客會讓網絡安全徹底崩潰」的觀點。他表示,網絡安全本質上是防禦有利的,只要認真做好工作。自己繼續持有加密貨幣(約淨資産 90%),就是在押注這一點。Vitalik 認為,如果 AI 能證明納維-斯託克斯方程和費馬大定理,那麼它也能把「這個程序是安全的」作為數學定理來證明,哪怕程序很復雜。「安全」的定義本身很復雜,包含多種攻擊場景(僞造、重放、服務器被攻破、密鑰洩露、側信道等),但定義遠比實現代碼的攻擊面小,也更容易被驗證。過去只驗證「自認為安全關鍵」的部分容易失敗。
内容來源:PANews