Vitalik Buterin称AI可能用于以太坊
以太坊联合创始人Vitalik Buterin对使用AI进行形式代码验证和错误检测产生了兴趣。

他写道:"以太坊目前最大的技术风险可能是代码中的错误,任何可能产生重大变化的东西都是令人敬畏的。"
然而,OpenZeppelin之前在使用OpenAI的GPT-4测试本地以太坊编程语言Solidity智能合约安全性的实验中获得了混合结果。
当时,该公司机器学习部门负责人Mariko Wakabayashi在2023年7月为Cointelegraph撰写的一篇文章中指出,聊天机器人在分配的28个任务中仅识别了20个漏洞。 据她介绍,在某些情况下,结果"坦率地说很糟糕。"有时神经网络需要领先的问题,一旦它只是发明了一个不存在的错误。
Wakabayashi还回忆说,Coinbase专家在尝试使用ChatGPT检查令牌的安全性后收到了大致相同的结果。
"仅靠人工智能并不能取代人类。 然而,学习如何使用这些工具的审计师将比那些对新技术视而不见的人有效得多,"她总结道。
资料来源: https://forklog.com/news/ai/vitalik-buterin-nazval-vozmozhnoe-primenenie-ii-dlya-ethereum