Vitalik Buterin says AI 'formal verification' could actually make crypto much more secure

Vitalik Buterin believes AI 'formal verification' can enhance crypto security. He thinks this technology has the potential to make cryptocurrencies more secure. This could lead to increased trust and adoption of digital currencies.