Vitalik称人工智能有助于解决以太坊 最大的技术风险

以太坊联合创始人维塔利克布特林Vitalik Buterin表示，人工智能AI对于解决以太坊 最大的技术 风险之一至关重要。

2 月 18 日，Buterin 在 X 上发表了一篇文章，分享了他对人工智能驱动的审计来识别和修复以太坊网络中的错误代码的兴奋之情，并将其描述为以太坊网络的 最大技术风险。

One application of AI that I am excited about is AIassisted formal verification of code and bug findingRight now ethereums biggest technical risk probably is bugs in code and anything that could significantly change the game on that would be amazing

布特林发表上述评论之际，以太坊正在实施期待已久的 Dencun 升级，目前计划于 3 月 13 日推出。Dencun 于 1 月 17 日在 Goerli 测试网络上实施，但 Prsym 中的一个错误导致该网络在测试网络上无法完成升级长达四个小时。以太坊网络的升级对区块链的长期路线图至关重要。

然而，并非所有人都认为人工智能是检测基于以太坊的代码中的错误的可靠工具。

2023 年 7 月，OpenZeppelin 进行了一系列实验，利用 OpenAI 的 GPT4 来识别 Solidity 智能合约以太坊代码的母语中的安全问题。

在这些实验中，GPT4 成功识别了 28 项挑战中 20 项的漏洞。

当 GPT4 未能识别出漏洞时，它经常会被提示迅速改正错误。然而，在其他时候，OpenZeppelin 发现，人工智能实际上发明了一个根本不存在的漏洞。

同样，CertiK 的首席安全官李康音译告诉 Cointelegraph，在编码中使用人工智能驱动的工具如 ChatGPT往往会产生比解决更多的安全问题。

总的来说，李康建议人工智能助手只能作为经验丰富的编码员的助手，因为它们可以帮助快速向开发人员解释一行代码的含义。

我认为 ChatGPT 是一个非常有用的工具，可以帮助人们进行代码分析和逆向工程。它绝对是一个好助手，它将极大地提高我们的效率。

虽然布特林对人工智能的未来基本持乐观态度，但他此前曾警告开发者，在利用区块链技术实现人工智能时要谨慎，尤其是在将其与 高风险 应用如神谕一起部署时。

一定要小心：如果有人建立了一个使用人工智能神谕的预测市场或稳定币等，结果发现神谕是可以攻击的，那么这笔巨额资金可能会瞬间消失。