Instead of relying solely on human auditors, developers may increasingly use AI to mathematically prove code behaves correctly.

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.

AI Could Strengthen Security Instead of Breaking It

Formal verification is the practice of…