Vitalik 称 AI 可验证全程序安全性

Vitalik反驳AI黑客致崩论，认为AI能将程序安全转化为数学定理进行全量验证。

据 Woofun AI 消息，Vitalik Buterin 发文反驳'AI 黑客将导致网络安全崩溃'的观点，强调网络安全在认真执行下具备防御优势。他指出，若 AI 能证明纳维-斯托克斯方程等数学难题，亦能将'程序安全'作为数学定理进行验证。