当人工智能系统在现实世界中行动时，我们需要可验证的逻辑，而不是盲目的信任。 这就是为什么连接机器人专家和以太坊开发者很重要：为可验证的智能建立共同基础。