🎙️Denne uken @AnnaRRose og @GuilleAngeris chatte med @lacker om Acorn, en AI-drevet teorembeviser som forenkler bevisprosessen kontra verktøy som Lean som krever hvert trinn, og også dens løfte for ZK-bevis og kryptoforskning.