🎙️本週 @AnnaRRose 和 @GuilleAngeris 與 @lacker 聊天，討論 Acorn，一個 AI 驅動的定理證明器，簡化了證明過程，相較於像 Lean 這樣需要每一步的工具，還有它在 ZK 證明和加密研究中的潛力。