🎙️Minggu ini @AnnaRRose & @GuilleAngeris mengobrol dengan @lacker tentang Acorn, pembuktian teorema bertenaga AI yang menyederhanakan proses pembuktian vs. alat seperti Lean yang menuntut setiap langkah, dan juga janjinya untuk bukti ZK dan penelitian kripto.