🎙️Questa settimana @AnnaRRose e @GuilleAngeris chiacchierano con @lacker di Acorn, un dimostratore di teoremi potenziato dall'AI che semplifica il processo di dimostrazione rispetto a strumenti come Lean che richiedono ogni passaggio, e anche della sua promessa per le prove ZK e la ricerca nel settore crypto.