🎙️Cette semaine, @AnnaRRose et @GuilleAngeris discutent avec @lacker d'Acorn, un prouveur de théorèmes alimenté par l'IA qui simplifie le processus de preuve par rapport à des outils comme Lean qui exigent chaque étape, et aussi de sa promesse pour les preuves ZK et la recherche crypto.