🎙️Esta semana @AnnaRRose y @GuilleAngeris charlan con @lacker sobre Acorn, un probador de teoremas impulsado por IA que simplifica el proceso de demostración frente a herramientas como Lean que exigen cada paso, y también su promesa para pruebas ZK y la investigación en criptomonedas.