🎙️本周 @AnnaRRose 和 @GuilleAngeris 与 @lacker 聊天，讨论 Acorn，这是一种 AI 驱动的定理证明器，简化了证明过程，相较于像 Lean 这样的工具需要每一步的证明，同时它在 ZK 证明和加密研究方面的潜力也备受期待。