社区
融资信息
专题
链上生态
词条
播客
活动
Vitalik：AI技术辅助的代码形式验证和漏洞发现很有意义
2024-02-19 08:49
BlockBeats 消息，2 月 19 日，以太坊联合创始人 Vitalik Buterin 于社交平台发文称，「我对一种应用人工智能的技术感到兴奋，那就是 AI 辅助的代码形式验证和漏洞发现。
目前以太坊最大的技术风险可能是代码中的漏洞，任何能够显著改变这种情况的技术都将是了不起的。」
纠错/举报
本平台现已全面集成Farcaster协议, 如果您已有Farcaster账户, 可以登录
后发表评论
2025-11-25 11:42
2025-11-25 11:34
2025-11-25 16:22
2025-11-25 16:20
纠错/举报
提交
新增文库
仅自己可见
公开
保存
选择文库
新增文库
取消
完成