PANews 9月17日消息,Vitalik 发文反驳“AI 黑客会让网络安全彻底崩溃”的观点。他表示,网络安全本质上是防御有利的,只要认真做好工作。自己继续持有加密货币(约净资产 90%),就是在押注这一点。Vitalik 认为,如果 AI 能证明纳维-斯托克斯方程和费马大定理,那么它也能把“这个程序是安全的”作为数学定理来证明,哪怕程序很复杂。“安全”的定义本身很复杂,包含多种攻击场景(伪造、重放、服务器被攻破、密钥泄露、侧信道等),但定义远比实现代码的攻击面小,也更容易被验证。过去只验证“自认为安全关键”的部分容易失败。
Vitalik反驳AI黑客将让网络安全崩溃的观点,强调AI能验证整个程序安全性
其他语言标题
- EnglishVitalik refutes the claim that AI hackers will cause cybersecurity to collapse, emphasizing that AI can verify the security of entire programs.
- 한국어Vitalik은 AI 해커가 사이버 보안을 붕괴시킬 것이라는 주장을 반박하며, AI가 전체 프로그램의 보안을 검증할 수 있다고 강조했습니다.