Vitalik Buterin：以太坊可能会受益于使用人工智能来发现代码中的错误

以太坊的联合创始人Vitalik Buterin曾思考过他想看到的人工智能应用之一是AI辅助的代码形式验证和漏洞发现。

"现在以太坊最大的技术风险可能是代码中的漏洞," 他在Twitter上说道。"任何可以显著改变这一局面的东西都将是令人惊奇的。"

毫不奇怪，对这条推文的回复中充满了声称已经构建了Buterin如此兴奋的颠覆性技术的初创公司。

以太坊联合创始人并不总是对人工智能可能对技术或整个人类社会产生的影响持乐观态度。在11月的一篇博文"我的技术乐观主义"中，以太坊联合创始人阐述了他的预测，即人工智能可能发展出自己的"思维"，反对人类并成为新的顶级物种。

“这是一个极端的说法：尽管最坏情况下的气候变化、人工瘟疫或核战争可能造成的伤害很大，但仍有许多文明的孤岛将保持完整，以重建一切，” 他当时写道。“但是，如果超级智能人工智能决定反对我们，可能会毁灭所有幸存者，永远终结人类。甚至火星也可能不安全。”

在他周一早上在Twitter上分享的想法中，并没有关于人工智能末日的预测。从悲观到乐观的转变一直在Buterin身上发生。

在一篇一月的博文中，Buterin表示人工智能可能成为加密货币市场中的"参与者"。这并不是没有先例的。他指出，交易机器人多年来一直比人类更擅长套利——或者利用市场价格差异。

"但是AI套利机器人只是一个更大类别的第一个例子，我预计很快将开始包括许多其他应用，" 他写道，然后谈到了基于人工智能的预测市场。

如果以太坊开发者开始使用人工智能进行代码验证和漏洞检测，他们将加入科技行业不断增长的领域。

本月早些时候，微软报告了其2023财年第四季度的巨额收入——这在很大程度上要归功于其与OpenAI的多年合作伙伴关系。该公司在其收入报告中表示，人工智能一直是其成功的主要驱动因素，无论是生成式人工智能模型、代码分析、图像生成还是视觉识别。

快速说明：微软使用财政年度——而不是日历年度——进行收入报告。因此，其2024财年第二季度截至于2023年12月31日。

"这是一个创纪录的季度，得益于微软云的持续强劲，其收入超过330亿美元，增长24%，" 微软首席执行官萨蒂亚·纳德拉在微软第二季度收入电话会议中说道。“我们已经从谈论人工智能转变为大规模应用人工智能。”