形式验证

金色财经报道，以太坊联合创始人Vitalik Buterin在社交媒体上称，让我感到兴奋的人工智能应用之一是人工智能辅助的代码形式验证和错误查找。目前，以太坊最大的技术风险可能就是代码中的错误，任何能够显著改变这一游戏规则的技术都将令人惊叹...

人工智 人工智能 2024-02-19 48