🎙️Tento týden si @AnnaRRose a @GuilleAngeris povídají s @lacker o Acornu, dokazovači teorémů poháněném umělou inteligencí, který zjednodušuje proces dokazování oproti nástrojům jako Lean, které vyžadují každý krok, a také o jeho příslibu pro ZK důkazy a krypto výzkum.