The Block15 minutes ago

Published on February 19, 2024 08:43 GMT+00:00edited on February 19, 2024 08:44 GMT+00:00

Ethereum co-founder Vitalik Buterin said artificial intelligence could help Ethereum developers identify bugs and assist with verification of code.

“One application of AI that I am excited about is AI-assisted formal verification of code and bug finding,” Buterin wrote in an X post on Monday. “Right now, Ethereum's biggest technical risk probably is bugs in code, and anything that could significantly change the game on that would be amazing.” 

Buterin’s latest comment on AI comes after he wrote a blog post last month that broke down four ways that cryptocurrency and AI may overlap. “In general, use cases where the underlying mechanism continues to be designed roughly as before, but the individual players become AIs, allowing the mechanism to effectively operate at a much more …