🎙️На этой неделе @AnnaRRose и @GuilleAngeris беседуют с @lacker о Acorn, теоремном доказателе на базе ИИ, который упрощает процесс доказательства по сравнению с такими инструментами, как Lean, которые требуют выполнения каждого шага, а также о его перспективах для ZK доказательств и криптоисследований.