🎙️Esta semana, @AnnaRRose e @GuilleAngeris conversam com @lacker sobre a Acorn, uma provadora de teoremas alimentada por IA que simplifica o processo de prova versus ferramentas como o Lean, que exigem cada etapa, e também sua promessa de provas ZK e pesquisa de criptomoedas.