🎙️今週、@AnnaRRose & @GuilleAngeris は、すべてのステップを必要とする Lean のようなツールと比較して、証明プロセスを簡素化する AI を活用した定理証明ツールである Acorn と、ZK 証明と暗号研究への約束について @lacker とチャットします。