Vitalik：人工智能辅助的代码验证和错误查找令人兴奋

据星球日报报道，Vitalik在X平台发文表示，他对人工智能辅助的代码形式验证和错误查找这一应用感到兴奋。他认为，目前以太坊面临的最大技术风险可能是代码中的错误，任何能够显着改变游戏规则的事情都将是令人惊奇的。