🎙️Săptămâna aceasta, @AnnaRRose & @GuilleAngeris discutat cu @lacker despre Acorn, un demonstrator de teoreme bazat pe inteligență artificială care simplifică procesul de demonstrare față de instrumente precum Lean care necesită fiecare pas.