Vitalik Buterin提出AI协助解决以太坊的'最大技术风险'

以太坊联合创始人表示，他对人工智能在代码验证中的辅助感到兴奋。Vitalik Buterin 表示，人工智能可以帮助以太坊开发人员识别错误并协助验证代码。他在周一的一篇帖子中写道：“我对人工智能的一个应用感到兴奋，那就是 AI 辅助的代码形式验证和错误查找。现在，以太坊最大的技术风险可能是代码中的错误，任何可以显著改变这一情况的东西都将是令人惊人的。”