Vitalik：AI辅助的代码验证和查错令人期待

比特币行情网讯 Vitalik 于 X 平台发文表示：“让我感到兴奋的人工智能应用之一是人工智能辅助的代码形式验证和错误查找。目前，以太坊最大的技术风险可能是代码中的错误，任何能够显着改变游戏规则的事情都将是令人惊奇的。”