Ethereum co-founder Vitalik Buterin has expressed his excitement about the potential of AI-assisted formal verification of code and bug finding.
Go here to Read this Fast! Vitalik Buterin Highlights Potential Use Case of AI On Ethereum
Originally appeared here:
Vitalik Buterin Highlights Potential Use Case of AI On Ethereum