这集录制和与 @lacker 聊关于 @acornprover 以及数学、形式验证和 AI 的未来真是太有趣了。