🎙️Tuần này @AnnaRRose & @GuilleAngeris trò chuyện với @lacker về Acorn, một trình chứng minh định lý được hỗ trợ bởi AI giúp đơn giản hóa quá trình chứng minh so với các công cụ như Lean yêu cầu từng bước, và cũng là hứa hẹn cho các chứng minh ZK và nghiên cứu tiền điện tử.