Vitalik Buterin Says AI Could Strengthen Crypto Security

Vitalik Buterin, the co-founder of Ethereum, has responded to increasing concerns that AI-based bug hunting will overwhelm developers and create non-stop exploitation opportunities on blockchains.

According to him, in the near future, the use of this technology might actually make crypto systems more secure. He says that AI-assisted formal verification may become one of the strongest defenses against security failures in crypto and internet infrastructure.