a recente meta sobre AI x blockchain tem sido que a blockchain vai salvar ou consertar a AI, na verdade, sempre foi a AI que vai consertar a blockchain. o DeFi precisa ser formalmente verificado, caso contrário, os seus fundos nunca estarão safu!