🎙️Esta semana, @AnnaRRose e @GuilleAngeris conversam com @lacker sobre Acorn, um provador de teoremas alimentado por IA que simplifica o processo de prova em comparação com ferramentas como Lean que exigem cada passo, e também sua promessa para provas ZK e pesquisa em cripto.