在2月19日，以太坊的联合创始人Vitalik Buterin在社交平台上发表了一篇帖子，表达了他对一种应用人工智能技术的热情。这种技术就是AI辅助的代码形式验证和漏洞发现。他认为，目前以太坊面临的最大技术风险可能是代码中的漏洞，因此任何能够显著改善这种情况的技术都将是非常有价值的。 Buterin强调了AI在解决以太坊代码中潜在漏洞方面的重要性。他表示，通过使用AI辅助的代码形式验证和漏洞发现技术，可以更有效地识别和修复代码中的问题，从而提高以太坊的安全性和稳定性。此外，他还表示，这种技术将有助于提高以太坊的开发效率，使其能够更快地应对不断变化的技术挑战。