🎙️W tym tygodniu @AnnaRRose i @GuilleAngeris rozmawiają z @lackerem o Acorn, dowodniku twierdzeń wspieranym przez AI, który upraszcza proces dowodzenia w porównaniu do narzędzi takich jak Lean, które wymagają każdego kroku, a także o jego obietnicy dla dowodów ZK i badań nad kryptowalutami.