以太坊(ETH)联合创始人Vitalik Buterin反驳“AI致网络安全崩溃”论,自曝九成身家仍在加密货币
COINOTAG
以太坊(ETH)联合创始人Vitalik Buterin近日公开回击了一种日益流行的观点:足够强大的AI将让网络安全彻底失守。他在9月17日发布于X的长文帖子中明确表示,结局很可能恰恰相反。“越来越多人认为AI黑客意味着网络安全注定崩溃,我不同意,”Buterin写道。他的判断是,AI同样会把更强的工具交到防御者手中,让软件从源头上就更难被利用。这套论证的核心是形式化验证——即用数学方法证明一个程序(包括 智能合约 )满足某些特定性质。“如果AI能证明Navier-Stokes方程和FLT(费马大定理),那它就能把‘这个程序是安全的’当作一条数学定理来证明,”他写道,引用了数学界两道公认的难题…
本文首发于 COINOTAG： https://cn.coinotag.com/vitalik-buterin-ethereum-eth-disputes-ai-cybersecurity-doom-4