Vitalik Buterin diz que a ‘verificação formal’ da IA poderia realmente tornar a criptografia muito mais segura

Alta••Coindesk

O cofundador da Ethereum argumentou que a “verificação formal” assistida por IA poderia se tornar uma das ferramentas mais importantes para a segurança cibernética em uma nova postagem no blog.