🎙️Esta semana, @AnnaRRose y @GuilleAngeris charlan con @lacker sobre Acorn, un demostrador de teoremas impulsado por IA que simplifica el proceso de prueba frente a herramientas como Lean que exigen cada paso, y también su promesa de pruebas ZK e investigación criptográfica.