le récent discours sur l'IA et la blockchain a en quelque sorte été que la blockchain va sauver ou réparer l'IA, en réalité, c'est toujours l'IA qui va réparer la blockchain. DeFi doit être formellement vérifié, sinon vos fonds ne seront jamais safu !