🎙️Diese Woche sprechen @AnnaRRose und @GuilleAngeris mit @lacker über Acorn, einen KI-gestützten Theorembeweiser, der den Beweisprozess im Vergleich zu Werkzeugen wie Lean vereinfacht, die jeden Schritt verlangen, und auch über sein Potenzial für ZK-Beweise und Krypto-Forschung.