当前位置：首页 > 快讯 >

「金色财经」Vitalik：感到兴奋的人工智能应用之一是人工智能辅助的代码形式验证和错误查找

「金色财经」据金融报道，以太坊联合创始人VitalikButerin在社交媒体上表示，人工智能辅助的代码形式验证和错误搜索是令我兴奋的应用程序之一目前，以太坊最大的技术风险可能是代码中的错误，任何能显著改变游戏规则的技术都将令人惊叹