4 月 9 日至 4 月 10 日，H
Vitalik：AI辅助的代码验证和查错令人期待
2024.02.19
博链财经BroadChain获悉，2月18日，Vitalik表示：“让我感到兴奋的人工智能应用之一是人工智能辅助的代码形式验证和错误查找。”
目前，以太坊最大的技术风险可能是代码中的错误，任何能够显着改变游戏规则的事情都将是令人惊奇的。
