以太坊的 Buterin 被评为最令人兴奋的人工智能应用

在最近的社交媒体帖子中，以太坊联合创始人 Vitalik Buterin 强调 人工智能（AI）在彻底改变以太坊网络中代码验证和错误识别方式方面的潜力。 

Buterin 表达了他对人工智能辅助形式化代码验证的热情，并指出以太坊当今面临的最大技术风险源于其代码中的错误。 

他认为，将人工智能集成到开发过程中可以显着减轻这些风险，确保区块链基础设施更加安全可靠。

人工智能辅助代码验证说明

Buterin 兴奋的核心是人工智能辅助形式验证的概念，这个过程可以极大地改变区块链安全和效率的格局。 

形式验证是指使用数学模型来证明或反驳系统底层算法的正确性，确保它们在所有可能的条件下完全按照预期运行。 

通过在这种情况下利用人工智能，开发人员可以自动化并增强对智能合约和其他区块链相关代码中的错误和漏洞的检测，从而有可能防止代价高昂的漏洞和故障。 

这种方法不仅有望提高以太坊区块链的稳健性，而且代表着在更广泛的软件开发领域向前迈出了重要一步，在软件开发领域，错误和安全缺陷仍然是一个普遍的挑战。

Buterin 迷人的人工智能技术  

据《今日美国》报道，Buterin 还以幽默的方式看待人工智能技术的发展，展示了他的智慧。通过一篇有趣的帖子，他将电影中人工智能的戏剧性且常常具有威胁性的描绘与当今对话式人工智能的现实进行了对比。

然而，他此前曾表达过对超级人工智能带来的生存风险的担忧，认为人工智能不受控制的进步可能会导致人类不再是主导力量的结果。

Buterin 表示，人工智能和区块链的融合用例提供了巨大的潜力，特别是当人工智能集成到现有机制中以增强微观规模操作时，事实证明，它既有前景又易于实施。然而，通过区块链和加密技术创建“单例”——一个单一的、去中心化的、可信的人工智能——带来了相当大的挑战和风险。