🎙️Den här veckan @AnnaRRose & @GuilleAngeris chatta med @lacker om Acorn, en AI-driven teorembevisare som förenklar bevisprocessen kontra verktyg som Lean som kräver varje steg, och även dess löfte om ZK-bevis och kryptoforskning.