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

Ethereum co-founder Vitalik Buterin posted on social media, "I'm excited about a technology that applies artificial intelligence, which is AI-assisted code verification and vulnerability discovery. Currently, the biggest technical risk for Ethereum might be vulnerabilities in the code. Any technology that can significantly change this situation would be remarkable."