RecodeX 重构消息，NEAR AI的George Zeng强调，必须通过形式验证和对抗性基准来确保持有凭证和转移价值的AI代理的安全性。