la meta reciente sobre AI x blockchain ha sido de alguna manera que blockchain va a salvar o arreglar la IA, en realidad siempre ha sido la IA la que va a arreglar blockchain. DeFi necesita ser verificado formalmente, de lo contrario tus fondos nunca serán seguros.