RecodeX 重构消息，以太坊基金会利用AI工具挖掘智能合约漏洞，成功发现安全缺陷，但强调人工审核仍不可替代。