Vitalik Buterin 称安全应写成数学定理

反驳 AI 终结网络安全论调，主张将安全性形式化为数学定理，强调代码韧性优于依赖人工审计。

据 Woofun AI 消息，以太坊联合创始人 Vitalik Buterin 在最新文章中反驳了关于 AI 驱动黑客攻击将导致网络安全崩溃的观点。他指出，若 AI 具备证明 Navier-Stokes 方程或费马大定理的能力，同样可将程序安全性确立为数学定理。