Vitalik Buterin: Ethereum Could Benefit From Using AI to Find Bugs in Code
Ethereum co-founder Vitalik Buterin mused that one application of artificial intelligence that he’d like to see is AI-assisted formal verification of code and bug finding. “Right now Ethereum’s biggest technical risk probably is bugs in […]