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