Vitalik Buterin 否认人工智能黑客攻击带来的网络安全厄运
来源 U.Today作者 Gamza Khanzadaev, Alex Dovbnya, Arman Shirinyan发布于 53 分钟前
[ETH] Buterin 相信，相反的情况最终可能会发生：人工智能可能会为防御者提供构建软件所需的工具，而这些软件一开始就很难被利用。“如果人工智能可以证明纳维-斯托克斯和 FLT，那么人工智能就可以证明‘这个程序是安全的’这一数学定理，”Buterin 写道，指的是纳维-斯托克斯问题和费马大定理。Buter
查看原文 →