Vitalik: verificação formal com IA reforça segurança cripto
A proposta de Buterin surge quando a indústria lida com perdas por explorações de contratos inteligentes que ascendem a milhares de milhões — a prova automatizada de correção é a área em que a IA pode realmente acertar.