RecodeX 重构消息，Vitalik Buterin 发推表示，不认同「AI 黑客将使网络安全无解」的观点。他认为一旦方法到位，网络安全天然偏向防守方，并称自己继续持有加密资产（约占其净资产 90%）本身就是在押注这一判断。

他给出的简化表述是：若 AI 能证明纳维–斯托克斯方程与费马大定理，也能把「该程序是安全的」证明为数学定理，即使程序很复杂。他同时表示以太坊将推进对所有程序的形式化验证。