Vitalik:令人兴奋的人工智能应用程序之一是人工智能辅助的代码形式验证和错误查找

火币HTX报道,以太坊联合创始人Vitalik buterin在社交媒体上说,让我兴奋的人工智能应用程序之一是人工智能辅助的代码形式验证和错误搜索。目前,以太坊最大的技术风险可能是代码中的错误,任何能显著改变游戏规则的技术都将令人惊叹。
相关推荐