Vitalik: AI-assisted code formal verification and vulnerability discovery are very meaningful.

On February 19th, Vitalik Buterin, co-founder of Ethereum, announced on social media that he was excited about a technology that applies artificial intelligence to assist in code verification and vulnerability detection. The biggest technical risk for Ethereum currently is vulnerabilities in the code, and any technology that can significantly change this situation will be remarkable.