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 […]