👉The talk is very good, so which one should I buy?
Vitalik: AI technology-assisted code formal verification and vulnerability discovery are very meaningful
On February 19, Ethereum co-founder Vitalik Buterin posted on social platforms, "I am excited about a technology that applies artificial intelligence, and that is AI-assisted code formal verification and vulnerability discovery. The biggest technical risk of Ethereum at present It could be a bug in the code, and any technology that could significantly change that would be awesome."
