很高興看到老朋友們在可驗證的 AI 上工作 @gyanlakshmi