Vitalik : l'IA pour la vérification formelle renforce la sécurité crypto
La proposition de Buterin arrive alors que le secteur fait face à des pertes liées aux exploits de smart contracts qui se comptent en milliards — et la preuve automatisée de correction est précisément ce que l'IA pourrait réussir.